The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications

By A. Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, L. Compagna, Jorge Cuéllar, P. Drielsma, Pierre-Cyrille Héam, O. Kouchnarenko, Jacopo Mantovani and 7 more. International Conference on Computer Aided Verification, 2005

1,459 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Computer Networks and Communications, Information Systems

View Paper: https://www.semanticscholar.org/paper/fefc340833178b4eb9a34c083300024e1735fec4

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

In Computer Networks and Communications

In Information Systems

Citations in the corpus

Secure Remote User Authenticated Key Establishment Protocol for Smart Home Environment (2020, background): “The detailed description and functionality of these back ends are available in [15], [35], [36], [37], [38].”
Scyther : semantics and verification of security protocols (2006, methodology): “The On-the-Fly Model Checker (OFMC, [14]) is part of the AVISPA tool set [7], and is a model checker for security protocols.”
A Survey of Internet of Things (IoT) Authentication Schemes (2019, methodology): “+Efficient in terms of computation and communication cost +Security analysis is done compared to other schemes +Authentication scheme is evaluated using AVISPA tool.”
Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif (2016, methodology): “The symbolic model is an abstract model that makes it easier to build automatic verification tools, and many such tools exist: AVISPA (Armando et al., 2005), FDR (Lowe, 1996), Scyther (Cremers, 2008), Tamarin (Schmidt et al., 2012), for instance.”
Barriers and Facilitators That Influence Telemedicine-Based, Real-Time, Online Consultation at Patients’ Homes: Systematic Literature Review (2020, background): “The detailed description and functionality of these back ends are available in [15], [35], [36], [37], [38].”
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols (2008, methodology): “The most effective approach so far has been automated falsification or verification of such protocols with state-of-the-art tools such as ProVerif [1] or the Avispa tools [2].”