Formal Analysis of the Kerberos Authentication System (1997)

by Giampaolo Bella, Elvinia Riccobene
Venue:J. UNIVERSAL COMP. SCI