![[IEEE 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07) - Szklarska, Poland (2007.06.14-2007.06.16)] 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07) - Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols]()
[IEEE 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07) - Szklarska, Poland (2007.06.14-2007.06.16)] 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07) - Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic ProtocolsCheminod, M.; Bertolotti, I. Cibrario; Durante, L.; Sisto, R.; Valenzano, A. · 2007