Academic Journals Database
Disseminating quality controlled scientific knowledge

A Comparative Analysis of Tools for Verification of Security Protocols

Author(s): Nitish Dalal | Jenny Shah | Khushboo Hisaria | Devesh Jinwala

Journal: International Journal of Communications, Network and System Sciences
ISSN 1913-3715

Volume: 03;
Issue: 10;
Start page: 779;
Date: 2010;
Original page

Keywords: Formal Verification | Security Protocols | Attacks

The area of formal verification of protocols has gained substantial importance in the recent years. The research results and subsequent applications have amply demonstrated that the formal verification tools have indeed helped correct the protocols even after being standardized. However, the standard protocol verification tools and techniques do not verify the security properties of a cryptographic protocol. This has resulted in the emergence of the security protocol verifiers to fill the need. In this paper, taking the two popular security verification tools namely Scyther and ProVerif as the basis, we identify a few security protocols and implement them in both Scyther and ProVerif, to aptly evaluate the tools, in terms of the security properties of the selected protocols. In the process, we not only characteristically present a comparative evaluation of the two tools, but also reveal interesting security properties of the protocols selected, showing their strengths and weaknesses. To the best of our knowledge, this is a unique attempt to juxtapose and evaluate the two verification tools using the selected security protocols.

Tango Rapperswil
Tango Rapperswil

     Save time & money - Smart Internet Solutions