scientific article; zbMATH DE number 1543079

zbMATH Open0960.68010MaRDI QIDQ4520535FDOQ4520535

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

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

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

zbMATH Keywords

Gurevich's abstract state machineKerberos authentication system

Mathematics Subject Classification ID

Network protocols (68M12)

Cited In (6)

• Theoretical Computer Science
• Proving properties of the Chord protocol using the ASM formalism
• Formal analysis of Kerberos 5
• Title not available (Why is that?)
• Breaking and fixing public-key Kerberos
• Abstract state machines and the inquiry process

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)