A formal analysis of ome properties of kerberos 5 using MSR
- 24 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 10636900,p. 165
- https://doi.org/10.1109/csfw.2002.1021815
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A meta-notation for protocol analysisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A semantic model for authentication protocolsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Verifying authentication protocols in CSPIEEE Transactions on Software Engineering, 1998
- The Kerberos Network Authentication Service (V5)Published by RFC Editor ,1993