A Simplified Solution of a PEPA Model of Kerberos Protocol
Yishi Zhao, Nigel V. Thomas · 2011
In this paper an authentication protocol, Kerberos, is investigated. To consider the scenario where there are multiple realms, a simplification is applied. The simplified model is equivalent to original model in terms of the steady state distribution. It is analysed numerically using a fluid flow approximation and is verified by stochastic simulation.