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

1、性能分析

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

   scyther 可以针对协议的各个属性进行分析 。

。，

 2、Scyther协议形式化分析工具原理

        使用描述性语言将要分析的洗衣、、协议进行拆分多个角度

        

3、EtherNet/IP 协议框架

    

4、Scyther 在linux在安装

      提示：  形式化分析工具Scyther 依赖的解释器 Python 版本是2.7（不支持3.0以上），所以在ubuntu上安装的时配置Python2.