I found AVISPA (Automated Validation of Internet Security Protocols and Applications) http://www.avispa-project.org/ for the analysis of Internet security-sensitive protocols. However, it is not recently updated (2007). Could please tell me the name of the free tools for testing security-sensitive protocols?

More Nasif Muslim's questions See All
Similar questions and discussions