Scyther 论文相关资料整理

1、Scyther 的特点使用方法     Scyther可以提供轨迹的简单描述，方便分析协议可能出现的攻击和表现，使用Athena算法，该软件表现如下特点：       该软件有明确的终止，能工提供无限会话协议安全性的证明，嫩共证明过程的树状图，相比其他软件能工提供更加有效的证明结构，输出证明过程的树状图；提供协议的多种可能的表现和攻击，实现了多协议的并行分析，解决了传统软件的状态空间爆炸问题，

>>阅读原文<<