A Comparative Analysis of Tools for Testing the Security Protocols
Reham Abdellatif Abouhogail · International Journal of Information Technology and Computer Science · 2019
In this paper, Analysis and comparison of two popular security verification tools namely Automated Validation of Internet Security Protocols and Applications (AVISPA) and Burrows-Abadi-Needham (BAN) logic are presented in terms of the usability, complexity, and other properties of the selected tools.The comparison shows the benefits and the drawbacks for the two tools.As a case study, two previously proposed security protocols, which were tested before by BAN logic only are evaluated and proved using the automated verification tool AVISPA to ensure that these protocols satisfy the other main security measures.