请问有没有比较熟悉AVISPA工具的大佬 帮我解答一下

我写了个协议，然后用AVISPA工具来做安全分析的时候，有个报错
有没有比较懂的大佬帮我分析下问题出在哪

https://blog.csdn.net/trustbo/article/details/8987860

就是你类型写错了

你有没有遇到过CL-Atse工具使用的时候会卡住的情况？