Performance Evaluation of Security Protocols Specified in LySa

Authors:
Chiara Bodei;Michele Curti;Pierpaolo Degano;Mikael Buchholtz;Flemming Nielson;Hanne Riis Nielson;Corrado Priami
Affiliations:
Dipartimento di Informatica, Università di Pisa, Viale F. Buonarroti, 2, I-56127 Pisa, Italy;Dipartimento di Informatica, Università di Pisa, Viale F. Buonarroti, 2, I-56127 Pisa, Italy;Dipartimento di Informatica, Università di Pisa, Viale F. Buonarroti, 2, I-56127 Pisa, Italy;Informatics and Mathematical Modelling, Technical University of Denmark, Richard Petersens Plads bldg 321, DK-2800 Kongens Lyngby, Denmark;Informatics and Mathematical Modelling, Technical University of Denmark, Richard Petersens Plads bldg 321, DK-2800 Kongens Lyngby, Denmark;Informatics and Mathematical Modelling, Technical University of Denmark, Richard Petersens Plads bldg 321, DK-2800 Kongens Lyngby, Denmark;Dipartimento di Informatica e Telecomunicazioni, Università di Trento, Via Sommarive, 14 -- 38050 Povo (TN), Italy
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 13
Cited 2

Efficient and timely mutual authentication

ACM SIGOPS Operating Systems Review
A calculus of mobile processes, II

Information and Computation
Probability, stochastic processes, and queueing theory: the mathematics of computer performance modeling

Probability, stochastic processes, and queueing theory: the mathematics of computer performance modeling
A compositional approach to performance modelling

A compositional approach to performance modelling
Stochastic process algebras—between LOTOS and Markov chains

Computer Networks and ISDN Systems - Special issue: trends in formal description techniques
A calculus for cryptographic protocols

Information and Computation
Non-interleaving semantics for mobile processes

Theoretical Computer Science
Enhanced operational semantics: a tool for describing and analyzing concurrent systems

ACM Computing Surveys (CSUR)
Performance Evaluation of Mobile Processes via Abstract Machines

IEEE Transactions on Software Engineering
Probability and Statistics with Reliability, Queuing and Computer Science Applications

Probability and Statistics with Reliability, Queuing and Computer Science Applications
The Design of Rijndael

The Design of Rijndael
Prudent Engineering Practice for Cryptographic Protocols

SP '94 Proceedings of the 1994 IEEE Symposium on Security and Privacy
Probability, Statistics, and Queueing Theory with Computer Science Applications

Probability, Statistics, and Queueing Theory with Computer Science Applications

A Quantitative Study of Two Attacks

Electronic Notes in Theoretical Computer Science (ENTCS)
On evaluating the performance of security protocols

PaCT'05 Proceedings of the 8th international conference on Parallel Computing Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

We use a special operational semantics which drives us in inferring quantitative measures on system describing cryptographic protocols. The transitions of the system carry enhanced labels. We assign rates to transitions by only looking at these labels. The rates reflect the distributed architecture running applications and the use of possibly different cryptosystems. We then map transition systems to Markov chains and evaluate performance of systems, using standard tools.