Efficient solutions of a PEPA model of a key distribution centre

Performance Evaluation

Volumn 67, Issue 8, 2010, Pages 740-756

  Zhao, Yishi ^a   Thomas, Nigel ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

Fluid approximation; PEPA; Secure key exchange; Stochastic process algebra

Indexed keywords

BASIC MODELS; CLOSED QUEUEING NETWORK; FLUID APPROXIMATION; FLUID FLOW APPROXIMATION; KEY DISTRIBUTION; KEY EXCHANGE; MARKOVIAN PROCESS ALGEBRAS; NUMERICAL EXAMPLE; SECURITY AND PERFORMANCE; SERVICE CAPACITY; SIMPLIFIED MODELS; STATE-SPACE EXPLOSION; STOCHASTIC PROCESS ALGEBRAS; USE-MODEL; UTILITY FUNCTIONS;

ALGEBRA; FLOW OF FLUIDS; FLUIDS; ORDINARY DIFFERENTIAL EQUATIONS; QUEUEING NETWORKS; RANDOM PROCESSES; STOCHASTIC SYSTEMS; WAREHOUSES;

NETWORK SECURITY;

EID: 77955305810     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.peva.2009.07.005     Document Type: Article

References (18)

1. S. Dick, and N. Thomas Performance analysis of PGP Proceedings of 22nd UK Performance Engineering Workshop UKPEW 2006 Bournemouth University
2. W. Freeman, and E. Miller An experimental analysis of cryptographic overhead in performance-critical systems Proceedings of the 7th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems MASCOTS 1999 IEEE Computer Society
3. C. Lamprecht, A. van Moorsel, P. Tomlinson, and N. Thomas Investigating the efficiency of cryptographic algorithms in online transactions International Journal of Simulation: Systems, Science & Technology 7 2 2006 63 75
4. M. Buchholtz, S. Gilmore, J. Hillston, and F. Nielson Securing statically-verified communications protocols against timing attacks Electronic Notes in Theoretical Computer Science 128 4 2005
5. Y. Zhao, and N. Thomas Modelling secure secret key exchange using stochastic process algebra Proceedings of 23rd UK Performance Engineering Workshop 2007 Edge Hill University
6. R. Needham, and M. Schroeder Using encryption for authentication in large networks of computers Communications of the ACM 21 12 1978 993 999
7. W. Stallings Cryptography and Network Security: Principles and Practice 1999 Prentice Hall
8. A. Clark, A. Duguid, S. Gilmore, and M. Tribastone Partial evaluation of PEPA models for fluid-flow analysis Computer Performance Engineering: Proceedings of the 5th European Workshop on Performance Engineering EPEW LNCS vol. 5261 2008 Springer-Verlag
9. J. Hillston A Compositional Approach to Performance Modelling 1996 Cambridge University Press
10. I. Mitrani Probabilistic Modelling 1998 Cambridge University Press
11. M. Tribastone The PEPA plug-in project Proceedings of 4th International Conference on the Quantitative Evaluation of Systems QEST 2007 IEEE Computer Society 53 54
12. J. Hillston Fluid flow approximation of PEPA models Proceedings of 2nd International Conference on the Quantitative Evaluation of Systems QEST 2005 IEEE Computer Society 33 43
13. J. Bradley, S. Gilmore, and N. Thomas Performance analysis of stochastic process algebra models using stochastic simulation Proceedings of 20th IEEE International Parallel and Distributed Processing Symposium 2006 IEEE Computer Society
14. B. Haverkort Performance of Computer Communication Systems: A Model Based Approach 1998 Wiley
15. N. Thomas, Mean value analysis for a class of PEPA models, Technical Report, CS-TR-1128, School of Computing Science, Newcastle University, 2008
16. N. Thomas, and Y. Zhao Fluid flow analysis of a model of a secure key distribution centre Proceedings 24th Annual UK Performance Engineering Workshop 2008 Imperial College London
17. Y. Zhao, and N. Thomas Approximate solution of a PEPA model of a key distribution centre Performance Evaluation Metrics, Models and Benchmarks: SPEC International Performance Evaluation Workshop LNCS vol. 5119 2008 Springer Verlag
18. Y. Zhao, and N. Thomas A cost model analysis of a secure key distribution centre Proceedings of International Symposium on Trusted Computing 2008 IEEE Computer Society