《形式化分析工具Scyther性能研究》------摘抄整理

本篇论文的主要创新点在--------使用 Scyther工具发现对部分 KCI攻击搜索出现漏报的现象，并给出了存在的原因，     介绍了 形式化分析工具   AVispa全称是   Automated Validation of Internet Security-sensitive Protocols and Applications ,较多使用在大型网络安全协议的分析，提供模型运算和形式化

>>阅读原文<<