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

本篇論文的主要創新點在--------使用 Scyther工具發現對部分 KCI攻擊搜索出現漏報的現象，並給出了存在的原因，     介紹了 形式化分析工具   AVispa全稱是   Automated Validation of Internet Security-sensitive Protocols and Applications ,較多使用在大型網絡安全協議的分析，提供模型運算和形式化

>>阅读原文<<