Using the NuSMV model checker to verify the kerberos protocol (2002)

by M Panti, L Spalazzi, S Tacconi
Venue:In Proc. of the Third Collaborative Technologies Symposium (CTS-02