"A Simplified Solution of a PEPA Model of Kerberos Protocol."

Yishi Zhao, Nigel Thomas (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics