Chiara Bodei Mikael Buchholtz Michele Curti Pierpaolo Degano Flemming Nielson Hanne Riis Nielson Corrado Priami On Evaluating the Performance of Security Protocols. 1-15 2005 conf/pact/2005 PaCT http://dx.doi.org/10.1007/11535294_1 db/conf/pact/pact2005.html#BodeiBCDNNP05