scientific article; zbMATH DE number 1849111

MaRDI QIDQ4787329zbMATH OpenFDO

Authors Giampaolo Bella

Publication date 6 January 2003

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1844578
• scientific article; zbMATH DE number 2242698
• Another look at ``provable security
• Formal correctness of security protocols.
• Inductive Proofs of Computational Secrecy

Cited in

(6)

• The structure of content is not transparent
• scientific article; zbMATH DE number 1947538 (Why is no real title available?)
• scientific article; zbMATH DE number 1844578 (Why is no real title available?)
• Minimum disclosure proofs of knowledge
• Errors in Computational Complexity Proofs for Protocols
• Cryptanalysis of GlobalPlatform secure channel protocols

This page was built for publication:

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