Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami. On Evaluating the Performance of Security Protocols. In Victor E. Malyshkin, editor, Parallel Computing Technologies, 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings. Volume 3606 of Lecture Notes in Computer Science, pages 1-15, Springer, 2005. [doi]
Abstract is missing.