使用形式化分析工具 Scyther 在 Delov-Yao 模型和强安全模型下对 EtherNet / IP 协议核心成员通用工业协议( Control and Information Protocol，CIP) 所采用的加密认证 TLS 协议进行形式化分析。对下一代 CIP 协议嵌入 TLS1． 3 具有实践价值，该方法对其他工业网络协议进行有效的安全分析有理论指导意义。
2021-06-28
最近做工业互联网项目，看了一些网上的资料，感觉对工业以太网的技术特点比较写的都比较零散。站在技术角度，我希望能把这段时间在项目实施中学习的经验总结一下。
2021-06-28
