scientific article; zbMATH DE number 1149910

MaRDI QIDQ4387322zbMATH OpenFDO

Authors S. Gürgens

Publication date 8 September 1998

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• A logic of authentication
• scientific article; zbMATH DE number 4195145
• scientific article; zbMATH DE number 2143936
• Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocol
• scientific article; zbMATH DE number 2080723

Cited in

(9)

• Inter-protocol interleaving attacks on some authentication and key distribution protocols
• Provably repairing the ISO/IEC 9798 standard for entity authentication
• An attack on a recursive authentication protocol. A cautionary tale
• scientific article; zbMATH DE number 4195145 (Why is no real title available?)
• scientific article; zbMATH DE number 1330437 (Why is no real title available?)
• Key compromise, strand spaces, and the authentication tests
• Foundations of Security Analysis and Design III
• Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocol
• Injective synchronisation: An extension of the authentication hierarchy

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 Q4387322)