摘要: 工业互联网正在成为智能电网、发电厂、医疗器械、工业机器人等智能制造基础设施和系统的支柱。网络组件与物理系统的交织提高资源利用率和系统可靠性。但是，它通过增加攻击面使工业互联网非常容易受到多种网络威胁的攻击。在关系国计民生的重大关键基础设施的网络系统中，核心关注点是安全保障能力。安全分析中的任何错误或未知情况都可能造成工业互联网系统中极大的威胁和损失，从而影响关键基础设施甚至造成人员伤亡。因此，关键基础设施建设前期的网络安全建模是否可靠是一个突出的问题，需要一种系统的方法来对安全设计进行建模分析，并对其替代设计进行性能评估。深入的安全分析涉及一组标准评估指标的确定。因此，本文提出了一种基于随机 PetriNet 网格模型的工业互联网系统的安全建模方法，定性和定量地研究和分析工业互联网系统在关键基础设施领域应用的安全性。