scientific article; zbMATH DE number 1543079

MaRDI QIDQ4520535zbMATH OpenFDO

Authors Giampaolo Bella, Elvinia Riccobene

Publication date 26 February 2001

Full work available at URL http://www.jucs.org/jucs_3_12/formal_analysis_of_the

zbMATH Keywords

Gurevich's abstract state machineKerberos authentication system

Mathematics Subject Classification ID

Network protocols (68M12)

Recommendations

• Formal analysis of Kerberos 5
• scientific article; zbMATH DE number 1104389
• Cryptographically sound security proofs for basic and public-key Kerberos
• Breaking and fixing public-key Kerberos
• A logic of authentication

Cited in

(6)

• Theoretical Computer Science
• Breaking and fixing public-key Kerberos
• Proving properties of the Chord protocol using the ASM formalism
• Formal analysis of Kerberos 5
• Abstract state machines and the inquiry process
• scientific article; zbMATH DE number 1104389 (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 Q4520535)