Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano. Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. In Klaus Julisch, Christopher Krügel, editors, Detection of Intrusions and Malware, and Vulnerability Assessment, Second International Conference, DIMVA 2005, Vienna, Austria, July 7-8, 2005, Proceedings. Volume 3548 of Lecture Notes in Computer Science, pages 69-84, Springer, 2005. [doi]
Abstract is missing.