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/

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

Mathematics Subject Classification ID

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

Cited In (3)

• Preserving Secrecy Under Refinement
• 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)