Title :
A Simplified Solution of a PEPA Model of Kerberos Protocol
Author :
Zhao, Yishi ; Thomas, Nigel
Author_Institution :
Sch. of Comput. Sci., Newcastle Univ., Newcastle upon Tyne, UK
Abstract :
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.
Keywords :
cryptographic protocols; message authentication; numerical analysis; Kerberos protocol; PEPA model; authentication protocol; fluid flow approximation; numerical analysis; steady state distribution; stochastic simulation; Analytical models; Computational modeling; Numerical models; Protocols; Security; Servers; Stochastic processes; Authentication protocol; Fluid flow analysis; Simplification; Stochastic process algebra;
Conference_Titel :
Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC), 2011 International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4577-1827-4
DOI :
10.1109/CyberC.2011.50
