Performance Evaluation of Security Protocols Specified in LySa

Electronic Notes in Theoretical Computer Science

Volumn 112, Issue SPEC. ISS., 2005, Pages 167-189

  Bodei, Chiara ^a   Curti, Michele ^a   Degano, Pierpaolo ^a   Buchholtz, Mikael ^b   Nielson, Flemming ^b   Riis Nielson, Hanne ^b   Priami, Corrado ^c  

^a UNIVERSITY OF PISA   (Italy)

^b TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

^c UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

HASHING; OPERATIONAL SEMANTICS; PERFORMANCE EVALUATION; SECURITY PROTOCOLS;

CRYPTOGRAPHY; MARKOV PROCESSES; MATHEMATICAL MODELS; SECURITY OF DATA; SEMANTICS;

NETWORK PROTOCOLS;

EID: 11344282920     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.01.017     Document Type: Conference Paper

References (21)

1. M. Abadi, and A.D. Gordon A calculus for cryptographic protocols - The Spi calculus Information and Computation 148 1 January 1999 1 70
2. M. Abadi, and R. Needham Prudent engineering practice for cryptographic protocols Proc. of IEEE Symposium on Research in Security and Privacy 1994 IEEE 122 136
3. J. Daemen, and V. Rijndael The design of Rijndael 2002 Springer-Verlag
4. A.A. Allen Probability, Statistics and Queueing Theory with Computer Science Applications 1978 Academic Press
5. C. Bodei, M. Buchholtz, P. Degano, F. Nielson, and H. Riis Nielson Automatic validation of protocol narration Proc. of CSFW'03 2003 IEEE 126 140
6. G. Clark Formalising the specifications of rewards with PEPA Proc. of PAPM'96 1996 CLUT Torino 136 160
7. P. Degano, and C. Priami Non Interleaving Semantics for Mobile Processes Theoretical Computer Science 216 1999 237 270
8. P. Degano, and C. Priami Enhanced Operational Semantics ACM Computing Surveys 33 2 June 2001 135 176
9. H. Hermanns, U. Herzog, and V. Mertsiotakis Stochastic process algebras - between LOTOS and Markov Chains Computer Networks and ISDN systems 30 9-10 1998 901 924
10. J. Hillston A Compositional Approach to Performance Modelling 1996 Cambridge University Press
11. R. Howard Dynamic Probabilistic Systems: Semi-Markov and Decision Systems, Volume II 1971 Wiley
12. R. Milner, J. Parrow, and D. Walker A calculus of mobile processes (I and II) Info. & Co. 100 1 1992 1 77
13. R. Nelson Probability, Stochastic Processes and Queeing Theory 1995 Springer-Verlag
14. C. Nottegar, C. Priami, and P. Degano Performance Evaluation of Mobile Processes via Abstract Machines IEEE Transactions on Software Engineering 27 10 Oct 2001 867 889
15. D. Otway, and O. Rees Efficient and timely mutual authentication ACM Operating Systems Review 21 1 1987 8 10
16. A. Perrig and D.Song. A First Step towards the Automatic Generation of Security Protocols. Proc. of Network and Distributed System Security Symposium, 2000
17. G. Plotkin. A Structural Approach to Operational Semantics, Tech. Rep. Aarhus University, Denmark, 1981, DAIMI FN-19
18. C. Priami Stochastic π-calculus with general distributions Proc. of PAPM'96 1996 CLUT Torino 41 57
19. A. Reibnam, R. Smith, and K. Trivedi Markov and Markov reward model transient analysis: an overview of numerical approaches European Journal of Operations Research 40 1989 257 267
20. W.J. Stewart Introduction to the numerical solutions of Markov chains 1994 Princeton University Press
21. K.S. Trivedi Probability and Statistics with Reliability 1982 Queeing and Computer Science Applications Edgewood Cliffs, NY