Automated Security Protocol Analysis With the AVISPA Tool | Zendy

Luca Viganò | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Automated Security Protocol Analysis With the AVISPA Tool

Author(s) -

Luca Viganò

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2005.11.052

Subject(s) - computer science , internet security , the internet , scalability , protocol (science) , modular design , robustness (evolution) , cryptographic protocol , security analysis , computer security , information security , world wide web , programming language , security service , database , cryptography , chemistry , gene , medicine , biochemistry , alternative medicine , pathology

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 back-ends that implement a variety of automatic protocol analysis techniques. Experimental results, carried out on a large library of Internet security protocols, indicate that the AVISPA Tool is a state-of-the-art tool for Internet security protocol analysis as, to our knowledge, no other tool exhibits the same level of scope and robustness while enjoying the same performance and scalability

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research