![]() | ![]() |
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] |