A Quantitative Study of Two Attacks
Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami · Electronic Notes in Theoretical Computer Science · 2005
We use a special operational semantics which helps us in predicting quantitative measures on systems describing cryptographic protocols: We also consider a possible attacker. The transitions of the system carry enhanced labels. We assign rates to transitions by only looking at these labels. We then map transition systems to Markov chains and evaluate performance of systems, using standard tools.