Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
Performance Evaluation of Security Protocols Specified in LySa
QAPL, 2005.
@article{QAPL-2004-BodeiCDBNNP05,
author = "Chiara Bodei and Michele Curti and Pierpaolo Degano and Mikael Buchholtz and Flemming Nielson and Hanne Riis Nielson and Corrado Priami",
doi = "10.1016/j.entcs.2004.01.017",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "167--189",
title = "{Performance Evaluation of Security Protocols Specified in LySa}",
volume = 112,
year = 2005,
}