FRINK Linked Data Fragments server

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

• W2062217838 abstract "We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active attacks including concurrent protocol runs if it is implemented using provably secure cryptographic primitives. We prove secrecy of the exchanged keys with respect to the accepted cryptographic definition of real-or-random secrecy, i.e., indistinguishability of exchanged keys and random ones, given the view of a general cryptographic attacker. Although we achieve security under cryptographic definitions, our proof is performed in a deterministic setting corresponding to a slightly extended Dolev-Yao model; in particular, it does not have to deal with probabilistic aspects of cryptography and is hence in the scope of current proof tools. The reason is that we exploit a recently proposed ideal cryptographic library, which has a provably secure cryptographic implementation, as well as recent results on linking symbolic and cryptographic key secrecy. Besides establishing the cryptographic security of the Otway-Rees protocol, our result also exemplifies the potential of this cryptographic library and the recent secrecy preservation theorem for symbolic yet cryptographically sound proofs of security." @default.
• W2062217838 created "2016-06-24" @default.
• W2062217838 creator A5004014878 @default.
• W2062217838 date "2006-05-01" @default.
• W2062217838 modified "2023-10-16" @default.
• W2062217838 title "Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof" @default.
• W2062217838 cites W1480122568 @default.
• W2062217838 cites W1493079268 @default.
• W2062217838 cites W1516512945 @default.
• W2062217838 cites W1531644305 @default.
• W2062217838 cites W1532150808 @default.
• W2062217838 cites W1538016627 @default.
• W2062217838 cites W1562901937 @default.
• W2062217838 cites W1656028867 @default.
• W2062217838 cites W1805869620 @default.
• W2062217838 cites W1809974132 @default.
• W2062217838 cites W1860797715 @default.
• W2062217838 cites W189766157 @default.
• W2062217838 cites W1907597480 @default.
• W2062217838 cites W1923391011 @default.
• W2062217838 cites W1925495923 @default.
• W2062217838 cites W1966212263 @default.
• W2062217838 cites W1970606468 @default.
• W2062217838 cites W1982325601 @default.
• W2062217838 cites W1991004527 @default.
• W2062217838 cites W1994676271 @default.
• W2062217838 cites W2001788001 @default.
• W2062217838 cites W2027471022 @default.
• W2062217838 cites W2029693536 @default.
• W2062217838 cites W2058129511 @default.
• W2062217838 cites W2086536307 @default.
• W2062217838 cites W2098263389 @default.
• W2062217838 cites W2112896529 @default.
• W2062217838 cites W2119708968 @default.
• W2062217838 cites W2134587548 @default.
• W2062217838 cites W2134704926 @default.
• W2062217838 cites W2145227448 @default.
• W2062217838 cites W2146973388 @default.
• W2062217838 cites W2150776565 @default.
• W2062217838 cites W2157295888 @default.
• W2062217838 cites W2159543798 @default.
• W2062217838 cites W2164587664 @default.
• W2062217838 cites W2173955105 @default.
• W2062217838 cites W2398185758 @default.
• W2062217838 cites W2990399857 @default.
• W2062217838 cites W3162919972 @default.
• W2062217838 cites W42806983 @default.
• W2062217838 cites W2491733257 @default.
• W2062217838 cites W2612263229 @default.
• W2062217838 cites W70596186 @default.
• W2062217838 doi "https://doi.org/10.1016/j.entcs.2005.11.054" @default.
• W2062217838 hasPublicationYear "2006" @default.
• W2062217838 type Work @default.
• W2062217838 sameAs 2062217838 @default.
• W2062217838 citedByCount "2" @default.
• W2062217838 countsByYear W20622178382012 @default.
• W2062217838 crossrefType "journal-article" @default.
• W2062217838 hasAuthorship W2062217838A5004014878 @default.
• W2062217838 hasBestOaLocation W20622178381 @default.
• W2062217838 hasConcept C108710211 @default.
• W2062217838 hasConcept C142724271 @default.
• W2062217838 hasConcept C15927051 @default.
• W2062217838 hasConcept C178489894 @default.
• W2062217838 hasConcept C17886624 @default.
• W2062217838 hasConcept C204787440 @default.
• W2062217838 hasConcept C2524010 @default.
• W2062217838 hasConcept C2776452267 @default.
• W2062217838 hasConcept C2780385302 @default.
• W2062217838 hasConcept C33884865 @default.
• W2062217838 hasConcept C33923547 @default.
• W2062217838 hasConcept C38652104 @default.
• W2062217838 hasConcept C41008148 @default.
• W2062217838 hasConcept C71924100 @default.
• W2062217838 hasConcept C80444323 @default.
• W2062217838 hasConceptScore W2062217838C108710211 @default.
• W2062217838 hasConceptScore W2062217838C142724271 @default.
• W2062217838 hasConceptScore W2062217838C15927051 @default.
• W2062217838 hasConceptScore W2062217838C178489894 @default.
• W2062217838 hasConceptScore W2062217838C17886624 @default.
• W2062217838 hasConceptScore W2062217838C204787440 @default.
• W2062217838 hasConceptScore W2062217838C2524010 @default.
• W2062217838 hasConceptScore W2062217838C2776452267 @default.
• W2062217838 hasConceptScore W2062217838C2780385302 @default.
• W2062217838 hasConceptScore W2062217838C33884865 @default.
• W2062217838 hasConceptScore W2062217838C33923547 @default.
• W2062217838 hasConceptScore W2062217838C38652104 @default.
• W2062217838 hasConceptScore W2062217838C41008148 @default.
• W2062217838 hasConceptScore W2062217838C71924100 @default.
• W2062217838 hasConceptScore W2062217838C80444323 @default.
• W2062217838 hasLocation W20622178381 @default.
• W2062217838 hasOpenAccess W2062217838 @default.
• W2062217838 hasPrimaryLocation W20622178381 @default.
• W2062217838 hasRelatedWork W1502851386 @default.
• W2062217838 hasRelatedWork W1543782959 @default.
• W2062217838 hasRelatedWork W1827060200 @default.
• W2062217838 hasRelatedWork W1975288687 @default.
• W2062217838 hasRelatedWork W2067797538 @default.
• W2062217838 hasRelatedWork W2100317906 @default.
• W2062217838 hasRelatedWork W2168418017 @default.
• W2062217838 hasRelatedWork W2383111257 @default.

• next