The AVISPA tool for the automated validation of internet security protocols and applications
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005•Springer
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.
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.
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.
Springer
以上显示的是最相近的搜索结果。 查看全部搜索结果