FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1766701834> ?p ?o ?g. }

• W1766701834 abstract "Tools to evaluate Cryptographic Protocols (CPs) exploded into the literature after development of BAN Logic. Many of these were created to repair weaknesses in BAN Logic. Unfortunately, these tools are all complex and difficult to implement individually, with little or no effort available to implement multiple tools in a workbench environment. We propose a framework that allows a protocol analyst to exercise multiple CP evaluation tools in a single environment. Moreover, this environment exhibits characteristics that will enhance the effectiveness of the CP evaluation methods themselves." @default.
• W1766701834 created "2016-06-24" @default.
• W1766701834 creator A5042985759 @default.
• W1766701834 creator A5088453308 @default.
• W1766701834 date "2003-01-20" @default.
• W1766701834 modified "2023-09-22" @default.
• W1766701834 title "A framework for a cryptographic protocol evaluation workbench" @default.
• W1766701834 cites W1518451279 @default.
• W1766701834 cites W1540322376 @default.
• W1766701834 cites W1589099796 @default.
• W1766701834 cites W1597765364 @default.
• W1766701834 cites W1834151623 @default.
• W1766701834 cites W2001788001 @default.
• W1766701834 cites W2009196340 @default.
• W1766701834 cites W2010939995 @default.
• W1766701834 cites W2021022951 @default.
• W1766701834 cites W2029693536 @default.
• W1766701834 cites W2033442660 @default.
• W1766701834 cites W2050333604 @default.
• W1766701834 cites W2058129511 @default.
• W1766701834 cites W2074244772 @default.
• W1766701834 cites W2077025369 @default.
• W1766701834 cites W2087306890 @default.
• W1766701834 cites W2101361743 @default.
• W1766701834 cites W2102922499 @default.
• W1766701834 cites W2103953153 @default.
• W1766701834 cites W2105061375 @default.
• W1766701834 cites W2105401163 @default.
• W1766701834 cites W2107515440 @default.
• W1766701834 cites W2110672222 @default.
• W1766701834 cites W2115674733 @default.
• W1766701834 cites W2118036973 @default.
• W1766701834 cites W2120731372 @default.
• W1766701834 cites W2143768214 @default.
• W1766701834 cites W2144417954 @default.
• W1766701834 cites W2146973388 @default.
• W1766701834 cites W2157295888 @default.
• W1766701834 cites W2169216703 @default.
• W1766701834 cites W2339045958 @default.
• W1766701834 cites W3146075203 @default.
• W1766701834 doi "https://doi.org/10.1109/hase.1999.809495" @default.
• W1766701834 hasPublicationYear "2003" @default.
• W1766701834 type Work @default.
• W1766701834 sameAs 1766701834 @default.
• W1766701834 citedByCount "2" @default.
• W1766701834 crossrefType "proceedings-article" @default.
• W1766701834 hasAuthorship W1766701834A5042985759 @default.
• W1766701834 hasAuthorship W1766701834A5088453308 @default.
• W1766701834 hasConcept C115903868 @default.
• W1766701834 hasConcept C124101348 @default.
• W1766701834 hasConcept C142724271 @default.
• W1766701834 hasConcept C15927051 @default.
• W1766701834 hasConcept C178489894 @default.
• W1766701834 hasConcept C204787440 @default.
• W1766701834 hasConcept C2779145975 @default.
• W1766701834 hasConcept C2780385302 @default.
• W1766701834 hasConcept C33884865 @default.
• W1766701834 hasConcept C36464697 @default.
• W1766701834 hasConcept C38652104 @default.
• W1766701834 hasConcept C41008148 @default.
• W1766701834 hasConcept C71924100 @default.
• W1766701834 hasConceptScore W1766701834C115903868 @default.
• W1766701834 hasConceptScore W1766701834C124101348 @default.
• W1766701834 hasConceptScore W1766701834C142724271 @default.
• W1766701834 hasConceptScore W1766701834C15927051 @default.
• W1766701834 hasConceptScore W1766701834C178489894 @default.
• W1766701834 hasConceptScore W1766701834C204787440 @default.
• W1766701834 hasConceptScore W1766701834C2779145975 @default.
• W1766701834 hasConceptScore W1766701834C2780385302 @default.
• W1766701834 hasConceptScore W1766701834C33884865 @default.
• W1766701834 hasConceptScore W1766701834C36464697 @default.
• W1766701834 hasConceptScore W1766701834C38652104 @default.
• W1766701834 hasConceptScore W1766701834C41008148 @default.
• W1766701834 hasConceptScore W1766701834C71924100 @default.
• W1766701834 hasLocation W17667018341 @default.
• W1766701834 hasOpenAccess W1766701834 @default.
• W1766701834 hasPrimaryLocation W17667018341 @default.
• W1766701834 hasRelatedWork W1503039166 @default.
• W1766701834 hasRelatedWork W1579989646 @default.
• W1766701834 hasRelatedWork W1597343621 @default.
• W1766701834 hasRelatedWork W1608435723 @default.
• W1766701834 hasRelatedWork W1964551869 @default.
• W1766701834 hasRelatedWork W1965740750 @default.
• W1766701834 hasRelatedWork W1977381176 @default.
• W1766701834 hasRelatedWork W1993993050 @default.
• W1766701834 hasRelatedWork W2007510475 @default.
• W1766701834 hasRelatedWork W2044312889 @default.
• W1766701834 hasRelatedWork W2046856381 @default.
• W1766701834 hasRelatedWork W2059908397 @default.
• W1766701834 hasRelatedWork W2137249470 @default.
• W1766701834 hasRelatedWork W2169923303 @default.
• W1766701834 hasRelatedWork W2950764073 @default.
• W1766701834 hasRelatedWork W2989432627 @default.
• W1766701834 hasRelatedWork W3087163302 @default.
• W1766701834 hasRelatedWork W3138169485 @default.
• W1766701834 hasRelatedWork W1496873666 @default.
• W1766701834 hasRelatedWork W2097218975 @default.
• W1766701834 isParatext "false" @default.
• W1766701834 isRetracted "false" @default.
• W1766701834 magId "1766701834" @default.

• next