Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079705087> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2079705087 endingPage "123" @default.
- W2079705087 startingPage "109" @default.
- W2079705087 abstract "We investigate the relation between symbolic and cryptographic secrecy properties for cryptographic protocols. Symbolic secrecy of payload messages or exchanged keys is arguably the most important notion of secrecy shown with automated proof tools. It means that an adversary restricted to symbolic operations on terms can never get the entire considered object into its knowledge set. Cryptographic secrecy essentially means computational indistinguishability between the real object and a random one, given the view of a much more general adversary. In spite of recent advances in linking symbolic and computational models of cryptography, no relation for secrecy under active attacks is known yet. For exchanged keys, we show that a certain strict symbolic secrecy definition over a specific Dolev-Yao-style cryptographic library implies cryptographic key secrecy for a real implementation of this cryptographic library. For payload messages, we present the first general cryptographic secrecy definition for a reactive scenario. The main challenge is to separate secrecy violations by the protocol under consideration from secrecy violations by the protocol users in a general way. For this definition, we show a general secrecy preservation theorem under reactive simulatability, the cryptographic notion of secure implementation. This theorem is of independent cryptographic interest. We then show that symbolic secrecy implies cryptographic payload secrecy for the same cryptographic library as used in key secrecy. Our results thus enable formal proof techniques to establish cryptographically sound proofs of secrecy for payload messages and exchanged keys." @default.
- W2079705087 created "2016-06-24" @default.
- W2079705087 creator A5004014878 @default.
- W2079705087 creator A5069656048 @default.
- W2079705087 date "2005-02-01" @default.
- W2079705087 modified "2023-10-16" @default.
- W2079705087 title "Relating Symbolic and Cryptographic Secrecy" @default.
- W2079705087 cites W1480122568 @default.
- W2079705087 cites W1493079268 @default.
- W2079705087 cites W1531644305 @default.
- W2079705087 cites W1532150808 @default.
- W2079705087 cites W1605744481 @default.
- W2079705087 cites W1805869620 @default.
- W2079705087 cites W1923391011 @default.
- W2079705087 cites W1965618985 @default.
- W2079705087 cites W2029693536 @default.
- W2079705087 cites W2074244772 @default.
- W2079705087 cites W2086536307 @default.
- W2079705087 cites W2098263389 @default.
- W2079705087 cites W2104494325 @default.
- W2079705087 cites W2119050411 @default.
- W2079705087 cites W2119708968 @default.
- W2079705087 cites W2130899669 @default.
- W2079705087 cites W2133217174 @default.
- W2079705087 cites W2150776565 @default.
- W2079705087 cites W2157295888 @default.
- W2079705087 cites W2170718011 @default.
- W2079705087 cites W3029602774 @default.
- W2079705087 cites W3150645827 @default.
- W2079705087 cites W4210300416 @default.
- W2079705087 cites W4213148345 @default.
- W2079705087 doi "https://doi.org/10.1109/tdsc.2005.25" @default.
- W2079705087 hasPublicationYear "2005" @default.
- W2079705087 type Work @default.
- W2079705087 sameAs 2079705087 @default.
- W2079705087 citedByCount "38" @default.
- W2079705087 countsByYear W20797050872012 @default.
- W2079705087 countsByYear W20797050872013 @default.
- W2079705087 countsByYear W20797050872021 @default.
- W2079705087 countsByYear W20797050872023 @default.
- W2079705087 crossrefType "journal-article" @default.
- W2079705087 hasAuthorship W2079705087A5004014878 @default.
- W2079705087 hasAuthorship W2079705087A5069656048 @default.
- W2079705087 hasConcept C134066672 @default.
- W2079705087 hasConcept C158379750 @default.
- W2079705087 hasConcept C15927051 @default.
- W2079705087 hasConcept C178489894 @default.
- W2079705087 hasConcept C26517878 @default.
- W2079705087 hasConcept C2776452267 @default.
- W2079705087 hasConcept C33884865 @default.
- W2079705087 hasConcept C38652104 @default.
- W2079705087 hasConcept C41008148 @default.
- W2079705087 hasConcept C41065033 @default.
- W2079705087 hasConcept C80444323 @default.
- W2079705087 hasConceptScore W2079705087C134066672 @default.
- W2079705087 hasConceptScore W2079705087C158379750 @default.
- W2079705087 hasConceptScore W2079705087C15927051 @default.
- W2079705087 hasConceptScore W2079705087C178489894 @default.
- W2079705087 hasConceptScore W2079705087C26517878 @default.
- W2079705087 hasConceptScore W2079705087C2776452267 @default.
- W2079705087 hasConceptScore W2079705087C33884865 @default.
- W2079705087 hasConceptScore W2079705087C38652104 @default.
- W2079705087 hasConceptScore W2079705087C41008148 @default.
- W2079705087 hasConceptScore W2079705087C41065033 @default.
- W2079705087 hasConceptScore W2079705087C80444323 @default.
- W2079705087 hasIssue "2" @default.
- W2079705087 hasLocation W20797050871 @default.
- W2079705087 hasOpenAccess W2079705087 @default.
- W2079705087 hasPrimaryLocation W20797050871 @default.
- W2079705087 hasRelatedWork W1488313539 @default.
- W2079705087 hasRelatedWork W1554274402 @default.
- W2079705087 hasRelatedWork W1971522943 @default.
- W2079705087 hasRelatedWork W2008685380 @default.
- W2079705087 hasRelatedWork W2141019415 @default.
- W2079705087 hasRelatedWork W2361781577 @default.
- W2079705087 hasRelatedWork W2496342316 @default.
- W2079705087 hasRelatedWork W2904314268 @default.
- W2079705087 hasRelatedWork W2904818008 @default.
- W2079705087 hasRelatedWork W57958781 @default.
- W2079705087 hasVolume "2" @default.
- W2079705087 isParatext "false" @default.
- W2079705087 isRetracted "false" @default.
- W2079705087 magId "2079705087" @default.
- W2079705087 workType "article" @default.