[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Kerberos


Citation: Giampaolo Bella and Elvinia Riccobene, "Formal Analysis of the Kerberos Authentication System". Journal of Universal Computer Science, vol. 3, no. 12 (1997), 1337-1381.
Summary: The well-known Kerberos Authentication System is formally specified at several layers of abstraction, and is used to analyze the correctness and security weaknesses of the system.
Subjects: Protocols, Security, Verification
Download: PostScript, PDF, Compressed PostScript.
Notes: (Courtesy of Springer-Verlag.)
[an error occurred while processing this directive]