DocumentCode
2322018
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
fYear
2011
fDate
10-12 Oct. 2011
Firstpage
257
Lastpage
264
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC), 2011 International Conference on
Conference_Location
Beijing
Print_ISBN
978-1-4577-1827-4
Type
conf
DOI
10.1109/CyberC.2011.50
Filename
6079390
Link To Document