Title :
A formal analysis of ome properties of kerberos 5 using MSR
Author :
Butler, Frederick ; Cervesato, Iliano ; Jaggard, Aaron D. ; Scedrov, Andre
Keywords :
Authentication; Computer security; Conferences; Contracts; Cryptography; Mathematics; Protocols; Research initiatives; Testing;
Conference_Titel :
Computer Security Foundations Workshop, 2002. Proceedings. 15th IEEE
Conference_Location :
Cape Breton, NS, Canada
Print_ISBN :
0-7695-1689-0
DOI :
10.1109/CSFW.2002.1021815
