Article

The AVISPA tool for the automated validation of internet security protocols and applications

Authors:

L. VigneronAuthors Info & Claims

CAV'05: Proceedings of the 17th international conference on Computer Aided Verification

Pages 281 - 285

https://doi.org/10.1007/11513988_27

Published: 06 July 2005 Publication History

Publisher Site

Abstract

AVISPA is a push-button tool for the automated validation of Internet security-sensitive protocols and applications. It provides a modular and expressive formal language for specifying protocols and their security properties, and integrates different back-ends that implement a variety of state-of-the-art automatic analysis techniques. To the best of our knowledge, no other tool exhibits the same level of scope and robustness while enjoying the same performance and scalability.

References

[1]

A. Armando, D. Basin, M. Bouallagui, Y. Chevalier, L. Compagna, S. Mödersheim, M. Rusinowitch, M. Turuani, L. Viganò, L. Vigneron. The AVISS Security Protocol Analysis Tool. In Proc. CAV'02, LNCS 2404. Springer, 2002.

Digital Library

Google Scholar

[2]

A. Armando and L. Compagna. SATMC: a SAT-based Model Checker for Security Protocols. In Proc. JELIA'04, LNAI 3229. Springer, 2004.

Google Scholar

[3]

D. Basin, S. Mödersheim, L. Viganò. OFMC: A Symbolic Model-Checker for Security Protocols. International Journal of Information Security, 2004.

Google Scholar

[4]

B. Blanchet. An efficient cryptographic protocol verifier based on prolog rules. In Proc. CSFW'01. IEEE Computer Society Press, 2001.

Digital Library

Google Scholar

[5]

Y. Boichut, P.-C. Heam, O. Kouchnarenko, F. Oehl. Improvements on the Genet and Klay Technique to Automatically Verify Security Protocols. In Proc. AVIS'04, ENTCS, to appear.

Google Scholar

[6]

L. Bozga, Y. Lakhnech, M. Perin. Hermes: An Automatic Tool for the Verification of Secrecy in Security Protocols. In Proc. CAV'03, LNCS 2725. Springer, 2003.

Google Scholar

[7]

The CAPSL Integrated Protocol Environment: www.csl.sri.com/~millen/.

Google Scholar

[8]

Y. Chevalier, L. Compagna, J. Cuellar, P. Hankes Drielsma, J. Mantovani, S. Mödersheim, L. Vigneron. A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols. In Proc. SAPS'04. Austrian Computer Society, 2004.

Google Scholar

[9]

Y. Chevalier and L. Vigneron. Automated Unbounded Verification of Security Protocols. In Proc. CAV'02, LNCS 2404. Springer, 2002.

Digital Library

Google Scholar

[10]

J. Clark and J. Jacob. A Survey of Authentication Protocol Literature: Version 1.0, 17. Nov. 1997. URL: www.cs.york.ac.uk/~jac/papers/drareview.ps.gz.

Google Scholar

[11]

J. Heather, G. Lowe, S. Schneider. How to prevent type flaw attacks on security protocols. In Proc. CSFW'00. IEEE Computer Society Press, 2000.

Digital Library

Google Scholar

[12]

L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, 1994.

Digital Library

Google Scholar

[13]

L. C. Paulson. The Inductive Approach to Verifying Cryptographic Protocols. Journal of Computer Security, 6(1):85-128, 1998.

Digital Library

Google Scholar

[14]

D. Song. Athena: A new efficient automatic checker for security protocol analysis. In Proc. CSFW'99. IEEE Computer Society Press, 1999.

Digital Library

Google Scholar

Cited By

View all

Rai SPaul RBanerjee SMeher P(2024)An anonymous mutual authentication and key agreement scheme in WMSN using physiological dataWireless Networks10.1007/s11276-024-03690-930:4(2733-2752)Online publication date: 1-May-2024
https://dl.acm.org/doi/10.1007/s11276-024-03690-9
Mukhandi MAndrade EGranjal JVilela J(2024)Enhanced authentication and device integrity protection for GDOI using blockchainTransactions on Emerging Telecommunications Technologies10.1002/ett.498635:5Online publication date: 9-May-2024
https://dl.acm.org/doi/10.1002/ett.4986
Brun LHasuo IOno YSekiyama T(2023)Automated Security Analysis for Real-World IoT DevicesProceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy10.1145/3623652.3623667(29-37)Online publication date: 29-Oct-2023
https://dl.acm.org/doi/10.1145/3623652.3623667
Show More Cited By

Recommendations

Automated Security Protocol Analysis With the AVISPA Tool

The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specifying protocols and their security properties, and integrates different ...
Formal Validation of OFEPSP+ with AVISPA
Foundations and Applications of Security Analysis

Formal validation of security protocols is of utmost importance before they gain market or academic acceptance. In particular, the results obtained from the formal validation of the improved Optimistic Fair Exchange Protocol based on Signature Policies (...
Internet Security Protocols: Protecting IP Traffic

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

CAV'05: Proceedings of the 17th international conference on Computer Aided Verification

July 2005

564 pages

ISBN:3540272313

Editors:
Kousha Etessami
LFCS, School of Informatics, University of Edinburgh
,
Sriram K. Rajamani
LFCS, School of Informatics, Microsoft Research India

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 06 July 2005

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

217
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Rai SPaul RBanerjee SMeher P(2024)An anonymous mutual authentication and key agreement scheme in WMSN using physiological dataWireless Networks10.1007/s11276-024-03690-930:4(2733-2752)Online publication date: 1-May-2024
https://dl.acm.org/doi/10.1007/s11276-024-03690-9
Mukhandi MAndrade EGranjal JVilela J(2024)Enhanced authentication and device integrity protection for GDOI using blockchainTransactions on Emerging Telecommunications Technologies10.1002/ett.498635:5Online publication date: 9-May-2024
https://dl.acm.org/doi/10.1002/ett.4986
Brun LHasuo IOno YSekiyama T(2023)Automated Security Analysis for Real-World IoT DevicesProceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy10.1145/3623652.3623667(29-37)Online publication date: 29-Oct-2023
https://dl.acm.org/doi/10.1145/3623652.3623667
Costa GDegano PGalletta LSoderi S(2023)Formally verifying security protocols built on watermarking and jammingComputers and Security10.1016/j.cose.2023.103133128:COnline publication date: 1-May-2023
https://dl.acm.org/doi/10.1016/j.cose.2023.103133
Braghin CLilli MRiccobene E(2023)A model-based approach for vulnerability analysis of IoT security protocolsComputers and Security10.1016/j.cose.2022.103037127:COnline publication date: 1-Apr-2023
https://dl.acm.org/doi/10.1016/j.cose.2022.103037
Timouhin HAmounas FAzrour M(2023)New ECC-Based IoT Authentication Protocol for Securing RFID SystemsSN Computer Science10.1007/s42979-023-02220-24:6Online publication date: 12-Oct-2023
https://dl.acm.org/doi/10.1007/s42979-023-02220-2
Idrissi HEnnahbaoui M(2023)An Enhanced Anonymous ECC-Based Authentication for Lightweight Application in TMISCodes, Cryptology and Information Security10.1007/978-3-031-33017-9_19(290-320)Online publication date: 29-May-2023
https://dl.acm.org/doi/10.1007/978-3-031-33017-9_19
Vijayalakshmi MShalinie SYang MLai SLuo J(2022)A Blockchain-Based Secure Radio Frequency Identification Ownership Transfer ProtocolSecurity and Communication Networks10.1155/2022/93778182022Online publication date: 1-Jan-2022
https://dl.acm.org/doi/10.1155/2022/9377818
Iqbal UBhola JJayasudha MAhmad MNeware RYadav AGelana F(2022)ECC-Based Authenticated Key Exchange Protocol for Fog-Based IoT NetworksSecurity and Communication Networks10.1155/2022/72648032022Online publication date: 1-Jan-2022
https://dl.acm.org/doi/10.1155/2022/7264803
Alghamdi TGebali FSalem F(2022)Multifactor Authentication for Smart Emergency Medical Response TransportersInternational Journal of Telemedicine and Applications10.1155/2022/53949422022Online publication date: 1-Jan-2022
https://dl.acm.org/doi/10.1155/2022/5394942
Show More Cited By

Abstract

References

Cited By

Recommendations

Automated Security Protocol Analysis With the AVISPA Tool

Formal Validation of OFEPSP+ with AVISPA

Internet Security Protocols: Protecting IP Traffic

Comments

Information

Published In

Sponsors

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations