Using the nusmv model checker to verify the kerberos protocol (2007)

by M Panti, L Spalazzi, S Tacconi
Venue:International Journal of Management, IT and Engineering http://www.ijmra.us 268 IJMIE Volume 2, Issue 5 ISSN: 2249-0558 2012