Abstract
In this paper we explore the trade-off 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 model reduction techniques and approximation to give a form of the model which is more scalable. The system is analysed numerically and results derived from the approximation are compared with simulation.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bradley, J., Gilmore, S., Thomas, N.: Performance analysis of Stochastic Process Algebra models using Stochastic Simulation. In: 20th IEEE International Parallel and Distributed Processing Symposium. IEEE Computer Society, Los Alamitos (2006)
Buchholtz, M., Gilmore, S., Hillston, J., Nielson, F.: Securing statically-verified communications protocols against timing attacks. Electronic Notes in Theoretical Computer Science 128(4) (2005)
Clark, G., Gilmore, S., Hillston, J., Thomas, N.: Experiences with the PEPA Performance Modelling Tools. IEE Proceedings - Software 146(1), 11–19 (1999)
Dick, S., Thomas, N.: Performance analysis of PGP. In: Ball, F. (ed.) 22nd UK Performance Engineering Workshop (UKPEW), Bournemouth University (2006)
Freeman, W., Miller, E.: An Experimental Analysis of Cryptographic Overhead in Performance-critical Systems. In: 7th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), IEEE Computer Society, Los Alamitos (1999)
Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
Hillston, J.: Fluid flow approximation of PEPA models. In: 4th International Conference on Quantitative Evaluation of Systems (QEST 2005), pp. 33–43. IEEE Computer Society, Los Alamitos (2005)
Lamprecht, C., van Moorsel, A., Tomlinson, P., Thomas, N.: Investigating the efficiency of cryptographic algorithms in online transactions. International Journal of Simulation: Systems, Science & Technology 7(2), 63–75 (2006)
Mitrani, I.: Probabilistic Modelling. Cambridge University Press, Cambridge (1998)
Stallings, W.: Cryptography and Network Security: Principles and Practice. Prentice-Hall, Englewood Cliffs (1999)
Zhao, Y., Thomas, N.: Modelling secure secret key exchange using stochastic process algebra. In: Pereira, E., Pereira, R. (eds.) 23rd UK Performance Engineering Workshop, Edge Hill University (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhao, Y., Thomas, N. (2008). Approximate Solution of a PEPA Model of a Key Distribution Centre. In: Kounev, S., Gorton, I., Sachs, K. (eds) Performance Evaluation: Metrics, Models and Benchmarks. SIPEW 2008. Lecture Notes in Computer Science, vol 5119. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69814-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-69814-2_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69813-5
Online ISBN: 978-3-540-69814-2
eBook Packages: Computer ScienceComputer Science (R0)