Frederick Butler

	2006
3		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		Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov: Verifying Confidentiality and Authentication in Kerberos 5. ISSS 2003: 1-24
	2002
1		Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov: A Formal Analysis of Some Properties of Kerberos 5 Using MSR. CSFW 2002: 175-

Coauthor Index

1	Iliano Cervesato	[1] [2] [3]
2	Aaron D. Jaggard	[1] [2] [3]
3	Andre Scedrov	[1] [2] [3]
4	Christopher Walstad	[3]