基于Petri网的信息物理融合系统安全量化分析模型.pdfVIP

基于Petri 网的信息物理融合系统安全量化 分析模型 徐昕 虞慧群 黄骏虎 （华东理工大学计算机科学与工程系，上海市 200237 ） 摘 要 随着信息物理融合系统 （简称CPS ）的广泛应用，安全性已成为其研究的核心问题。由于CPS 离散计算过程和连 续物理世界交织的特性，传统的安全分析方式不能直接适用。本文通过将博弈理论和Petri 网建模方法进行结合，提出一种 GHPN 方法对CPS 系统建立量化的安全分析模型，该模型既能适用CPS 离散连续混合结构的模型刻画，又可合理模拟系统 攻防双方行为，基于最终生成的模型从系统可靠性、脆弱性、风险后果等方面进行安全分析。最后，通过对飞机空中避撞系 统的实例研究，表明该模型和分析方法的有效性。 关键词 信息物理融合系统； GHPN ； 纳什均衡；系统可靠性 中图法分类号 TP393 Petri Net Based Quantify Security Analysis Model for Cyber-Physical System XU Xin YU Hui-qun HUANG Jun-hu （Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, China ） Abstract Cyber-Physical System has been widely used in different areas and security has been the core problem of recent researches. The traditional security analysis measurements are inadequate in CPS because of the interaction of discrete cyber events and continuous physical world. In this paper, a quantify security analysis model based on the combination of Petri Net and Game Theory is proposed to reflect not only the hybrid of cyber and physical world but the behaviors of attackers and defenders. The reliability, vulnerability and risk effect can get from this model and analysis the security of CPS. A case study of airplane collision avoidance system show the model and analysis approach is feasible and effective. Key words Cyber-Physical System, GHPN, Nash Equilibrium, Reliability 例如，通信网络和标准通信协议的安全漏洞会带来 1 引言 操作或控制信息包的信息攻击从而影响物理系统。 审查认证，访问控制，消息完整性和加密等信息安 信息物理融合系统（Cyber-Physical Systems ， 全的方法，也不适合直接应用到CPS 系统。 简称CPS ）是一种通过计算、通信、与控制技术的 有机与深度融合，实现计算