| |
| * | 2006 | |
|---|---|---|
| 3 | EE | Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad: Formal analysis of Kerberos 5. Theor. Comput. Sci. 367(1-2): 57-87 (2006) |
| 2003 | ||
| 2 | EE | Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov: Verifying Confidentiality and Authentication in Kerberos 5. ISSS 2003: 1-24 |
| 2002 | ||
| 1 | EE | Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov: A Formal Analysis of Some Properties of Kerberos 5 Using MSR. CSFW 2002: 175- |
| 1 | Iliano Cervesato | [1] [2] [3] |
| 2 | Aaron D. Jaggard | [1] [2] [3] |
| 3 | Andre Scedrov | [1] [2] [3] |
| 4 | Christopher Walstad | [3] |