Formal Modeling and Analyzing Kerberos Protocol.

Qin Li Fan Yang Huibiao Zhu Longfei Zhu

Published in: CSIE (7) (2009)

Keyphrases

authentication protocol
lightweight
formal models
formal analysis
security analysis
colored petri nets
database
data sets
knowledge base
database systems
petri net
smart card
formal methods
secret key
security protocols
key distribution