协议形式化分析Scyther 资料整理

1、性能分析      目前来说形式化的分析已经成为安全协议的一种很流行的方法，但是每种工具都用其不同适合的协议，Scyther软件是一种形式化分析工具，极大的促进了协议的分析和设计，scyther工具在运行界面和安全模型以及搜索等方面的综合性优势，形式化分析的方法源自于数学原理和逻辑推理，使用严格的语法和与语义，可以准确的 、迅速的证明协议的安全性，并找到协议存在的漏洞。    scyther

>>阅读原文<<