Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110712507> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2110712507 endingPage "537" @default.
- W2110712507 startingPage "523" @default.
- W2110712507 abstract "We describe a method for enumerating all essentially different executions possible for a cryptographic protocol. We call them the shapes of the protocol. Naturally occurring protocols have only finitely many, indeed very few shapes. Authentication and secrecy properties are easy to determine from them, as are attacks. cpsa, our Cryptographic Protocol Shape Analyzer, implements the method.In searching for shapes, cpsa starts with some initial behavior, and discovers what shapes are compatible with it. Normally, the initial behavior is the point of view of one participant. The analysis reveals what the other principals must have done, given this participant’s view." @default.
- W2110712507 created "2016-06-24" @default.
- W2110712507 creator A5050493303 @default.
- W2110712507 creator A5069090711 @default.
- W2110712507 creator A5074118684 @default.
- W2110712507 date "2007-07-04" @default.
- W2110712507 modified "2023-09-23" @default.
- W2110712507 title "Searching for Shapes in Cryptographic Protocols" @default.
- W2110712507 cites W1542190420 @default.
- W2110712507 cites W1671268155 @default.
- W2110712507 cites W1751516141 @default.
- W2110712507 cites W1913041503 @default.
- W2110712507 cites W2029693536 @default.
- W2110712507 cites W2073385346 @default.
- W2110712507 cites W2114497629 @default.
- W2110712507 cites W2124030056 @default.
- W2110712507 cites W2126338744 @default.
- W2110712507 cites W2146973388 @default.
- W2110712507 cites W2155032609 @default.
- W2110712507 cites W2176696677 @default.
- W2110712507 cites W3137220996 @default.
- W2110712507 cites W4240945145 @default.
- W2110712507 doi "https://doi.org/10.1007/978-3-540-71209-1_41" @default.
- W2110712507 hasPublicationYear "2007" @default.
- W2110712507 type Work @default.
- W2110712507 sameAs 2110712507 @default.
- W2110712507 citedByCount "76" @default.
- W2110712507 countsByYear W21107125072012 @default.
- W2110712507 countsByYear W21107125072013 @default.
- W2110712507 countsByYear W21107125072014 @default.
- W2110712507 countsByYear W21107125072015 @default.
- W2110712507 countsByYear W21107125072016 @default.
- W2110712507 countsByYear W21107125072017 @default.
- W2110712507 countsByYear W21107125072018 @default.
- W2110712507 countsByYear W21107125072019 @default.
- W2110712507 countsByYear W21107125072020 @default.
- W2110712507 countsByYear W21107125072021 @default.
- W2110712507 countsByYear W21107125072022 @default.
- W2110712507 crossrefType "book-chapter" @default.
- W2110712507 hasAuthorship W2110712507A5050493303 @default.
- W2110712507 hasAuthorship W2110712507A5069090711 @default.
- W2110712507 hasAuthorship W2110712507A5074118684 @default.
- W2110712507 hasBestOaLocation W21107125071 @default.
- W2110712507 hasConcept C142724271 @default.
- W2110712507 hasConcept C148417208 @default.
- W2110712507 hasConcept C15927051 @default.
- W2110712507 hasConcept C178489894 @default.
- W2110712507 hasConcept C204787440 @default.
- W2110712507 hasConcept C21564112 @default.
- W2110712507 hasConcept C2524010 @default.
- W2110712507 hasConcept C2776452267 @default.
- W2110712507 hasConcept C2780385302 @default.
- W2110712507 hasConcept C28719098 @default.
- W2110712507 hasConcept C33884865 @default.
- W2110712507 hasConcept C33923547 @default.
- W2110712507 hasConcept C38652104 @default.
- W2110712507 hasConcept C41008148 @default.
- W2110712507 hasConcept C71924100 @default.
- W2110712507 hasConcept C80444323 @default.
- W2110712507 hasConceptScore W2110712507C142724271 @default.
- W2110712507 hasConceptScore W2110712507C148417208 @default.
- W2110712507 hasConceptScore W2110712507C15927051 @default.
- W2110712507 hasConceptScore W2110712507C178489894 @default.
- W2110712507 hasConceptScore W2110712507C204787440 @default.
- W2110712507 hasConceptScore W2110712507C21564112 @default.
- W2110712507 hasConceptScore W2110712507C2524010 @default.
- W2110712507 hasConceptScore W2110712507C2776452267 @default.
- W2110712507 hasConceptScore W2110712507C2780385302 @default.
- W2110712507 hasConceptScore W2110712507C28719098 @default.
- W2110712507 hasConceptScore W2110712507C33884865 @default.
- W2110712507 hasConceptScore W2110712507C33923547 @default.
- W2110712507 hasConceptScore W2110712507C38652104 @default.
- W2110712507 hasConceptScore W2110712507C41008148 @default.
- W2110712507 hasConceptScore W2110712507C71924100 @default.
- W2110712507 hasConceptScore W2110712507C80444323 @default.
- W2110712507 hasLocation W21107125071 @default.
- W2110712507 hasLocation W21107125072 @default.
- W2110712507 hasOpenAccess W2110712507 @default.
- W2110712507 hasPrimaryLocation W21107125071 @default.
- W2110712507 hasRelatedWork W1491549471 @default.
- W2110712507 hasRelatedWork W1533411097 @default.
- W2110712507 hasRelatedWork W1914742777 @default.
- W2110712507 hasRelatedWork W2004539568 @default.
- W2110712507 hasRelatedWork W2036529360 @default.
- W2110712507 hasRelatedWork W2088289695 @default.
- W2110712507 hasRelatedWork W2107515440 @default.
- W2110712507 hasRelatedWork W2110712507 @default.
- W2110712507 hasRelatedWork W2157303295 @default.
- W2110712507 hasRelatedWork W2181469750 @default.
- W2110712507 isParatext "false" @default.
- W2110712507 isRetracted "false" @default.
- W2110712507 magId "2110712507" @default.
- W2110712507 workType "book-chapter" @default.