Sciweavers

Share
PACT
2005
Springer

On Evaluating the Performance of Security Protocols

10 years 6 months ago
On Evaluating the Performance of Security Protocols
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions 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 crypto-systems. We then map transition systems to Markov chains and evaluate performance of systems, using standard tools.
Chiara Bodei, Mikael Buchholtz, Michele Curti, Pie
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where PACT
Authors Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
Comments (0)
books