scientific article; zbMATH DE number 4215344

MaRDI QIDQ3361872zbMATH OpenFDO

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

Publication date 1991

zbMATH Keywords

authenticationprotocols

Mathematics Subject Classification ID

Logic in computer science (03B70) Network design and communication in computer systems (68M10) Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60) Cryptography (94A60)

Recommendations

• A logic of authentication
• scientific article; zbMATH DE number 1884406
• scientific article; zbMATH DE number 2080723
• Formal semantics for authentication logics
• scientific article; zbMATH DE number 2064304
• A formal framework for authentication
• An epistemic foundation for authentication logics (extended abstract)
• A logic of access control
• A logic of access control

Cited in

(3)

• Abstract interpretation for proving secrecy properties in security protocols
• Enlightening Ph.D. students with the elegance of logic
• scientific article; zbMATH DE number 1884406 (Why is no real title available?)

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