Automatic Detection of Attacks on Cryptographic Protocols: A Case Study - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Ivan Cibrario Bertolotti' in GoogleThis author has not been identified. Look up 'Luca Durante' in GoogleThis author has not been identified. Look up 'Riccardo Sisto' in GoogleThis author has not been identified. Look up 'Adriano Valenzano' in Google

runs on WebDSL