Relating Two Standard Notions of Secrecy

DOI10.1007/11874683_20zbMATH Open1225.94020OpenAlexW1480028914MaRDI QIDQ3613345FDOQ3613345

Authors Véronique Cortier, Michaël Rusinowitch, Eugen Zălinescu 

Publication date 12 March 2009

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2006/691/

Mathematics Subject Classification ID

Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Relating two standard notions of secrecy
• Relating two standard notions of secrecy
• Static equivalence \textit{is} harder than knowledge
• Preserving Secrecy Under Refinement
• Secrecy by typing in security protocols

Cited In (5)

• Relating two standard notions of secrecy
• Preserving Secrecy Under Refinement
• Static equivalence \textit{is} harder than knowledge
• Relating two standard notions of secrecy
• Keeping secrets in resource aware components

This page was built for publication: Relating Two Standard Notions of Secrecy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613345)