Lack of explicitness strikes back

DOI10.1007/3-540-44810-1_13MaRDI QIDQ4787329zbMATH OpenFDO

Authors Giampaolo Bella

Publication date 6 January 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44810-1_13

Mathematics Subject Classification ID

Network protocols (68M12) Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Recommendations

• Lack of explicitness strikes back (transcript of discussion)
• scientific article; zbMATH DE number 2242698
• Another look at ``provable security
• Formal correctness of security protocols.
• Inductive Proofs of Computational Secrecy

Cited in

(6)

• Minimum disclosure proofs of knowledge
• Cryptanalysis of GlobalPlatform secure channel protocols
• The structure of content is not transparent
• Concluding discussion -- when does confidentiality harm security?
• Lack of explicitness strikes back (transcript of discussion)
• Errors in Computational Complexity Proofs for Protocols

This page was built for publication: Lack of explicitness strikes back

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