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

by G BELLA, L C PAULSON
Venue:In Computer Security (ESORICS