Formal Analysis of the Kerberos Authentication System (1997)

by G Bella, E Riccobene
Venue:Journal of Universal Computer Science