Matches in SemOpenAlex for { <https://semopenalex.org/work/W1619409532> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1619409532 endingPage "337" @default.
- W1619409532 startingPage "324" @default.
- W1619409532 abstract "We present a new model for automated verification of security protocols, permitting the use of an unbounded number of protocol runs. We prove its correctness, completeness and also that it terminates. It has been implemented and its efficiency is clearly shown by the number of protocols successfully studied. In particular, we present an attack previously unreported on the Denning-Sacco symmetric key protocol." @default.
- W1619409532 created "2016-06-24" @default.
- W1619409532 creator A5026634244 @default.
- W1619409532 creator A5076479770 @default.
- W1619409532 date "2002-01-01" @default.
- W1619409532 modified "2023-09-26" @default.
- W1619409532 title "Automated Unbounded Verification of Security Protocols" @default.
- W1619409532 cites W1502457089 @default.
- W1619409532 cites W1542190420 @default.
- W1619409532 cites W1569881051 @default.
- W1619409532 cites W1600748341 @default.
- W1619409532 cites W1619409532 @default.
- W1619409532 cites W1841687327 @default.
- W1619409532 cites W1922967198 @default.
- W1619409532 cites W2114189125 @default.
- W1619409532 cites W2126338744 @default.
- W1619409532 cites W2153921791 @default.
- W1619409532 cites W2176412652 @default.
- W1619409532 doi "https://doi.org/10.1007/3-540-45657-0_24" @default.
- W1619409532 hasPublicationYear "2002" @default.
- W1619409532 type Work @default.
- W1619409532 sameAs 1619409532 @default.
- W1619409532 citedByCount "51" @default.
- W1619409532 countsByYear W16194095322012 @default.
- W1619409532 countsByYear W16194095322016 @default.
- W1619409532 countsByYear W16194095322017 @default.
- W1619409532 countsByYear W16194095322018 @default.
- W1619409532 countsByYear W16194095322019 @default.
- W1619409532 countsByYear W16194095322021 @default.
- W1619409532 countsByYear W16194095322022 @default.
- W1619409532 crossrefType "book-chapter" @default.
- W1619409532 hasAuthorship W1619409532A5026634244 @default.
- W1619409532 hasAuthorship W1619409532A5076479770 @default.
- W1619409532 hasBestOaLocation W16194095321 @default.
- W1619409532 hasConcept C120314980 @default.
- W1619409532 hasConcept C134306372 @default.
- W1619409532 hasConcept C142724271 @default.
- W1619409532 hasConcept C17231256 @default.
- W1619409532 hasConcept C178489894 @default.
- W1619409532 hasConcept C199360897 @default.
- W1619409532 hasConcept C204787440 @default.
- W1619409532 hasConcept C26517878 @default.
- W1619409532 hasConcept C2780385302 @default.
- W1619409532 hasConcept C33884865 @default.
- W1619409532 hasConcept C33923547 @default.
- W1619409532 hasConcept C38652104 @default.
- W1619409532 hasConcept C41008148 @default.
- W1619409532 hasConcept C55439883 @default.
- W1619409532 hasConcept C71924100 @default.
- W1619409532 hasConcept C80444323 @default.
- W1619409532 hasConceptScore W1619409532C120314980 @default.
- W1619409532 hasConceptScore W1619409532C134306372 @default.
- W1619409532 hasConceptScore W1619409532C142724271 @default.
- W1619409532 hasConceptScore W1619409532C17231256 @default.
- W1619409532 hasConceptScore W1619409532C178489894 @default.
- W1619409532 hasConceptScore W1619409532C199360897 @default.
- W1619409532 hasConceptScore W1619409532C204787440 @default.
- W1619409532 hasConceptScore W1619409532C26517878 @default.
- W1619409532 hasConceptScore W1619409532C2780385302 @default.
- W1619409532 hasConceptScore W1619409532C33884865 @default.
- W1619409532 hasConceptScore W1619409532C33923547 @default.
- W1619409532 hasConceptScore W1619409532C38652104 @default.
- W1619409532 hasConceptScore W1619409532C41008148 @default.
- W1619409532 hasConceptScore W1619409532C55439883 @default.
- W1619409532 hasConceptScore W1619409532C71924100 @default.
- W1619409532 hasConceptScore W1619409532C80444323 @default.
- W1619409532 hasLocation W16194095321 @default.
- W1619409532 hasLocation W16194095322 @default.
- W1619409532 hasLocation W16194095323 @default.
- W1619409532 hasOpenAccess W1619409532 @default.
- W1619409532 hasPrimaryLocation W16194095321 @default.
- W1619409532 hasRelatedWork W1024627881 @default.
- W1619409532 hasRelatedWork W1550909849 @default.
- W1619409532 hasRelatedWork W160169779 @default.
- W1619409532 hasRelatedWork W2170333496 @default.
- W1619409532 hasRelatedWork W2352709926 @default.
- W1619409532 hasRelatedWork W2371386711 @default.
- W1619409532 hasRelatedWork W2387580820 @default.
- W1619409532 hasRelatedWork W2387761706 @default.
- W1619409532 hasRelatedWork W3040274163 @default.
- W1619409532 hasRelatedWork W2186499730 @default.
- W1619409532 isParatext "false" @default.
- W1619409532 isRetracted "false" @default.
- W1619409532 magId "1619409532" @default.
- W1619409532 workType "book-chapter" @default.