Ivan Cibrario Bertolotti Luca Durante Riccardo Sisto Adriano Valenzano Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. 69-84 2005 conf/dimva/2005 DIMVA http://dx.doi.org/10.1007/11506881_5 db/conf/dimva/dimva2005.html#BertolottiDSV05