基于层次Petri网的信息物理融合系统安全博弈建模

Security game modeling of cyber-physical systems based on hierarchical Petri nets

随着信息物理融合系统在工业中的广泛应用,系统安全已成为关注的焦点,信息物理融合系统的物理依赖和信息驱动特点使其面临信息物理双重威胁。为更加有效地进行应对,采取最佳防御策略,建立了基于层次Petri网的信息物理安全分析模型,并给出了描述攻防博弈策略的博弈网模型,进行了安全博弈分析,构建了纳什均衡策略,并采用萤火虫群算法进行了求解。最后以防空网络为实例进行了模拟分析,验证了模型的有效性。

For wide application of evolution of cyber-physical systems （CPS） in the industry, security has been an important issue. The characters of physical dependence and information driven expose the CPS to the risk of cyber-physical threats. To effectively address the problems, this paper constructed a cyber-physieal attacking model based on hierarchical Petri nets. Fur- thermore, it built a game network model of attack-defense that represents attack-defense game strategies, and analyzed security gaming. Moreover, it adopted the glowworm swarm optimization algorithm to solve the Nash equilibrium issue. Finally, it im- plemented the security game analysis with the air defense network. Results prove the validity of proposed model.