scientific article; zbMATH DE number 1149910

zbMATH Open0895.68041MaRDI QIDQ4387322FDOQ4387322

Authors: S. Gürgens 

Publication date: 8 September 1998

Title of this publication is not available (Why is that?)

Recommendations

• A logic of authentication
• scientific article
• 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

Mathematics Subject Classification ID

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

Cited In (7)

• Foundations of Security Analysis and Design III
• Inter-protocol interleaving attacks on some authentication and key distribution protocols
• Key compromise, strand spaces, and the authentication tests
• An attack on a recursive authentication protocol. A cautionary tale
• Injective synchronisation: An extension of the authentication hierarchy
• Title not available (Why is that?)
• Provably repairing the ISO/IEC 9798 standard for entity authentication

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)