DocumentCode

2020635

Title

A formal analysis of ome properties of kerberos 5 using MSR

Author

Butler, Frederick ; Cervesato, Iliano ; Jaggard, Aaron D. ; Scedrov, Andre

fYear

2002

fDate

24-26 June 2002

Firstpage

165

Keywords

Authentication; Computer security; Conferences; Contracts; Cryptography; Mathematics; Protocols; Research initiatives; Testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Security Foundations Workshop, 2002. Proceedings. 15th IEEE

Conference_Location

Cape Breton, NS, Canada

ISSN

1063-6900

Print_ISBN

0-7695-1689-0

Type

conf

DOI

10.1109/CSFW.2002.1021815

Filename

1021815