Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami. Performance Evaluation of Security Protocols Specified in LySa. Electronic Notes in Theoretical Computer Science, 112:167-189, 2005. [doi]
Abstract is missing.