协议形式化分析资料整理

1、接近尾声把协议形式化分析的资料整理一遍

     形式化分析工具 Scyther 软件资料以及 tool manual 在官网上可查  https://people.cispa.io/cas.cremers/scyther/\

     scyther 形式化分析的协议 发布在作者 GitHub  https://github.com/cascremers/scyther

    另外 使用所有形式化分析工具（proverif，maudenpa，CryptoVerif，ProVerif，Tamarin，cryptoverif1.28，AVISPA）以及对应工具需要安装的插件涉及的资料整理在  GitHub账户  https://github.com/SueKayTian/protocol-analysis-tool/  （fork）

2、勘误：

      在国内使用形式化分析协议安全的论文比较的少 ，存在的一篇《OAuth2.0 协议的安全形式化分析》发表于计算机工程与设计 2016年    存在一处错误   表3 Scyther安全属性    Secrecy   应当写成  Secret  不然 Scyther工具无法解释运行程序

3、阐述Delov-Yao模型的经典 文献 ------A Structured Operational Modelling of the Dolev-Yao Threat Model

 4、关于EtherNet/IP的所有整理的资料全部上传到我的 GitHub账号上 https://github.com/SueKayTian

5、关于EtherNet/IP的源代码可以自行GitHub上查找

6、关于EtherNet/IP 的设备扫描脚本和远程执行代码可以在百度云上查找 已经分享

7、罗列关于使用Scyther软件进行分协议的文献资料   已上传 百度云上 查找    

8、附 TLS1.3协议设计的源代码 （设计方案）

clientHello 结构

选择密码套件

计算主密钥

加密发送encrypted_extensions(这个扩展是更密钥协商无关的加密 ，是对应响应一些其他的扩展)

加密发送证书

加密发送证书和数组签名

 

TLS1.3实现用户手册

0.Requirements

1）运行环境Python3

2）需要额外安装的库函数python 包，PyCrypto、    PyCryptodome、cryptography

2.0）安装命令  python3 -m pip install libname

2.0）在linux系统中，python3没有将包secrets默认包含进去，如在linux系统中测试，需要在手动将secrets包加入到/usr/lib/python3/site-pakages目录下。Secrets包下载路径：https://github.com/python/cpython/blob/3.7/Lib/secrets.py

3）（可选）需要安装最新的openssl（version 1.1.0），生成自己的公钥和私钥以及签名证书。

1.Usage

1）服务器端使用命令

python3 main.py

根据使用提出命令操作，建议先设置主机IP和端口号（默认:127.0.0.1   4443），即先选择3

 

2）客户机使用命令

2.Certificate (可选)

1）客户群和服务器需要使用openssl生成各自的私钥、公钥、签名证书。使用链接: https://www.openssl.org/docs/manmaster/man

2）客户端需要命名为:client.key  client.csr client.crt

3）服务器端需命名为：server.key server.csr server.crt

4）需要在main.py的同级目录下新建文件夹.ssh，将其生成的文件拷贝到其目录下。

5）服务器端需要移除原始.ssh文件夹。

TLS1.3的源代码实现文件 可以在GitHub上找