saag-1----Page:5
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
|
The AVISPA Tool Push-button security protocol analyzer Supports the specification security protocols and properties via a rich protocol specification language Integrates different back-ends implementing a variety of state-of-the-art automatic analysis techniques. User interaction facilitated by: Emacs mode Web interface To the best of our knowledge, no other tool exhibits the same level of scope and robustness while enjoying the same performance and scalability. |