saag-1----Page:21
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
|
Conclusions The AVISPA Tool is a state-of-the-art, integrated environment for the automatic analysis and validation of Internet security protocols. Try it at http://www.avispa-project.org/web-interface ! More information at http://www.avispa-project.org If you use the AVISPA Tool, please don’t hesitate to ask! We are happy to help. Your feedback is very important to us. |