使用形式化分析工具 Scyther 在 Delov-Yao 模型和强安全模型下对 EtherNet / IP 协议核心成员通用工业协议( Control and Information Protocol，CIP) 所采用的加密认证 TLS 协议进行形式化分析。对下一代 CIP 协议嵌入 TLS1． 3 具有实践价值，该方法对其他工业网络协议进行有效的安全分析有理论指导意义。
2021-06-28
数据权属不清晰的问题制约着数据产业的健康持续发展。厘清数据权属被视为解决数据采集、使用、流通、转移等环节中的权利关系，保障数据交易合法性、规范大数据应用秩序，优化产业生态的先决条件。
数据已经成为最具价值的生产要素之一，被公认为二十一世纪的“新石油”和“新黄金”。与此同时，数据安全成为重要的议题，数据泄露问题成为数据企业当前面临的最大挑战。
未来的工业制造要像乐高积木一样，能够快速重新组合，以满足外部快速变化的市场，工业4.0就是做这个插槽的过程，而工业区块链要成为这个插槽最好的润滑剂。
工业信息安全已成为国家安全的重要组成部分。在工业制造业奔腾发展的道路上，工业信息安全形势日趋严峻，安全风险持续攀升，安全事件层出不穷，亟需引起高度重视。
