Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties
Résumé
Recently Kuesters et al proposed two new methods using ProVerif for analyzing cryptographic protocols with Exclusive-Or and Diffie-Hellman properties. Some tools, for instance CL-Atse and OFMC, are able to deal with Exclusive-Or and Diffie-Hellman. In this article we compare time efficiency of these tools verifying some protocols of the litterature that are designed with such algebraic properties.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...