The AVISPA tool for the automated validation of Internet security protocols and applications
METADATA ONLY
Loading...
Author / Producer
Date
2005
Publication Type
Conference Paper
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
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.
Permanent link
Publication status
published
External links
Book title
Computer Aided Verification: 17th International Conference
Journal / series
Volume
3576
Pages / Article No.
281 - 285
Publisher
Springer
Event
17th International Conference on Computer Aided Verification (CAV 2005)
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Organisational unit
03634 - Basin, David / Basin, David