Efficient solutions of a PEPA model of a key distribution centre
 Lookup NU author(s)
 Yishi Zhao
 Dr Nigel Thomas




Author(s)   Zhao Y, Thomas N 
Publication type   Article 
Journal   Performance Evaluation 
Year   2010 
Volume   67 
Issue   8 
Pages   740756 
ISSN (print)   01665316 
ISSN (electronic)   1872745X 



Full text for this publication is not currently held within this repository. Alternative links are provided below where available. 




In this paper we explore the tradeoff between security and performance in considering a model of a key distribution centre. The model is specified using the Markovian process algebra PEPA. The basic model suffers from the commonly encountered state space explosion problem, and so we apply some efficient techniques to solve it. First, we use model reduction techniques and approximation to give a form of the model (in fact, a closed queueing network model) which is more scalable. We then consider the use of a fluid flow approximation based on ordinary differential equations (ODEs) derived from an alternative form of the simplified model. Finally, weevaluate a utility function of this secure key exchange model. Three questions have been proposed; how many clients can a given KDC configure support? how much service capacity must we provide at a KDC to satisfy a given number of clients? and what is the maximum rate at which keys can be refreshed before the KDC performance begins to degrade under a given demand on a given system? These questions are explored through numerical examples. 



Publisher   Elsevier B.V. 
URL   http://dx.doi.org/10.1016/j.peva.2009.07.005 
DOI   10.1016/j.peva.2009.07.005 

Actions   
Share   