怎样用好AVISPA工具

AVISPA安全协议分析工具是一套完整、标准的形式化自动分析工具；结合XEmacs模式能够设置更加直观而简便的操作和编译环境，对安全协议进行分析并得出结论。