Copyright Notice:
The publication copies distributed in this site are
provided to ensure timely dissemination of scholarly and technical
work. Copyright and all rights therein are retained by authors or by
other copyright holders (as explicitly indicated). All persons copying
this information are expected to adhere
to the terms and constraints invoked by each copyright. In
most cases, these works may not be reposted without the explicit
permission of the copyright holder
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano,
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols,
in DepCoS-RELCOMEX '07 - 2nd Int. Conf. on Dependability of Computer Systems, Szklarska Poreba, Poland, June 2007, IEEE, pp. 153-160.
©2007 IEEE
doi: 10.1109/DEPCOS-RELCOMEX.2007.24
Abstract
The tools for cryptographic protocols analysis based on state exploration are designed to be completely automatic and should
carry out their job with a limited amount of computing and storage resources, even when run by users having a limited amount
of expertise in the field. This paper compares four tools of this kind to highlight their features and ability to detect bugs
under the same experimental conditions. To this purpose, the ability of each tool to detect known flaws in a uniform set of
well-known cryptographic protocols has been checked.
Back to Riccardo Sisto's publications