symbolicsoft/verifpal

GitHub: symbolicsoft/verifpal

一款基于形式化验证的密码协议分析工具，帮助在现实场景中发现协议设计缺陷。

Stars: 95 | Forks: 10