scientific article; zbMATH DE number 4197466

MaRDI QIDQ5203714zbMATH OpenFDO

Authors Michael Burrows, Martín Abadi, Roger M. Needham

Publication date 1988

zbMATH Keywords

authenticationbelief and actiondistributed computing systemsmodal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• A logic of authentication
• scientific article; zbMATH DE number 2080723
• scientific article; zbMATH DE number 2143936
• scientific article; zbMATH DE number 1884406
• Logic for verifying public-key cryptographic protocols

Cited in

(10)

• Commitment and authentication systems
• ESAP: efficient and secure authentication protocol for roaming user in mobile communication networks
• The guarded fragment with transitive guards
• The Practice of Authentication
• A logic of authentication
• scientific article; zbMATH DE number 1884406 (Why is no real title available?)
• BehavioCog: An Observation Resistant Authentication Scheme
• Foundations of Security Analysis and Design III
• Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocol
• Beacon based 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 Q5203714)