Manuel Cheminod Ivan Cibrario Bertolotti Luca Durante Riccardo Sisto Adriano Valenzano Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. 153-160 2007 conf/depcos/2007 DepCoS-RELCOMEX http://doi.ieeecomputersociety.org/10.1109/DEPCOS-RELCOMEX.2007.24 db/conf/depcos/depcos2007.html#CheminodBDSV07a