Kerberos version IV: Inductive analysis of the secrecy goals. (1998)

by G Bella, L C Paulson
Venue:In 5th European Symposium on Research in Computer Security (Esorics’98),