A Simplified Solution of a PEPA Model of Kerberos Protocol | IEEE Conference Publication | IEEE Xplore