| 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]
URL:
http://web.eecs.umich.edu/gasm/papers/kerberos.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT