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. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Bodei, C., Buchholtz, M., Curti, M., Degano, P., Nielson, F., Nielson, H. R., & Priami, C. (2005). On evaluating the performance of security protocols. In Lecture Notes in Computer Science (Vol. 3606, pp. 1–15). Springer Verlag. https://doi.org/10.1007/11535294_1
Mendeley helps you to discover research relevant for your work.