基于Petri网的CPS系统安全量化分析模型

计算机工程与应用 ›› 2014, Vol. 50 ›› Issue (3): 82-88.

基于Petri网的CPS系统安全量化分析模型

徐昕1，2，虞慧群1，黄骏虎1

1.华东理工大学计算机科学与工程系，上海 200237
2.上海市计算机软件评测重点实验室，上海 201112

出版日期:2014-02-01 发布日期:2014-01-26

Petri net based security quantitative analysis model for cyber-physical system

XU Xin1，2, YU Huiqun1, HUANG Junhu1

1.Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, China
2.Shanghai Key Laboratory of Computer Software Evaluating and Testing, Shanghai 201112, China

Online:2014-02-01 Published:2014-01-26

摘要/Abstract

摘要： 随着信息物理融合系统（CPS）的广泛应用，安全性已成为其研究的核心问题。由于CPS离散计算过程和连续物理世界交织的特性，传统的安全分析方式不能直接适用。通过将博弈理论和Petri网建模方法进行结合，提出一种GHPN方法对CPS系统建立量化的安全分析模型，该模型既能适用CPS离散连续混合结构的模型刻画，又可合理模拟系统攻防双方行为，基于最终生成的模型从系统可靠性、脆弱性、风险后果等方面进行安全分析。通过对飞机空中避撞系统的实例研究，表明该模型和分析方法的有效性。

关键词: 信息物理融合系统, 博弈理论与混合Petri网结合的方法（GHPN）, 纳什均衡, 系统可靠性

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 quantitative 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. Based on this model, from the reliability, vulnerability and risk effect, the security of CPS is analysed. A case study of airplane collision avoidance system shows the model and analysis approach is feasible and effective.

Key words: Cyber-Physical System（CPS）, Game Hybrid Petri Net（GHPN）, Nash equilibrium, system reliability

徐昕1，2，虞慧群1，黄骏虎1. 基于Petri网的CPS系统安全量化分析模型[J]. 计算机工程与应用, 2014, 50(3): 82-88.

XU Xin1，2, YU Huiqun1, HUANG Junhu1. Petri net based security quantitative analysis model for cyber-physical system[J]. Computer Engineering and Applications, 2014, 50(3): 82-88.

[1]	王晋宇，杨海涛，李高源，张长弓，冯博迪. 生成对抗网络及其图像处理应用研究进展[J]. 计算机工程与应用, 2021, 57(8): 26-35.
[2]	吴青，曾锋. 机会网络自私节点的Bertrand博弈与激励机制研究[J]. 计算机工程与应用, 2020, 56(13): 106-113.
[3]	张锦，程良伦. 一种分布式CPS异常检测的无监督图模型[J]. 计算机工程与应用, 2018, 54(12): 110-115.
[4]	陈禹1，冯翔1，2，虞慧群1. 改进型帝国竞争模型算法的研究[J]. 计算机工程与应用, 2018, 54(12): 206-213.
[5]	陈海华，张立臣. 大数据下的CPS自适应路由服务[J]. 计算机工程与应用, 2018, 54(1): 94-101.
[6]	王莉莉1，陈国彬1，张广泉2，3. 认知无线电网络中基于公平性的功率控制方案[J]. 计算机工程与应用, 2017, 53(3): 144-148.
[7]	孙楚，赵辉，王骁飞，魏政磊. 区间数决策在无人机攻防博弈中的应用[J]. 计算机工程与应用, 2017, 53(15): 170-175.
[8]	张健，王晋东，张恒巍. 静态贝叶斯博弈在信息系统风险分析中的应用[J]. 计算机工程与应用, 2015, 51(11): 76-82.
[9]	邹青丙1，刘羽2，何明1，余沛毅1，王立辉3. 基于机器学习的CPS系统可靠性在线评估方法[J]. 计算机工程与应用, 2014, 50(10): 128-130.
[10]	高先锋1，王伊蕾2. 常数轮理性秘密分享机制[J]. 计算机工程与应用, 2013, 49(18): 65-68.
[11]	王寒冰1，2，张曦煌1. AODV路由协议的安全性改进[J]. 计算机工程与应用, 2012, 48(17): 129-133.
[12]	姚磊¹，戴冠中¹，王丹丹²，张慧翔¹. 资源获胜率保证的网格任务调度算法[J]. 计算机工程与应用, 2009, 45(30): 84-87.
[13]	于敏须文波孙俊. 基于排斥技术的QPSO算法在纳什均衡中的应用[J]. 计算机工程与应用, 2007, 43(7期): 31-33.
[14]	罗景峰，刘艳秋. 基于可靠度的计算机系统优化问题的研究[J]. 计算机工程与应用, 2007, 43(16): 93-94.
[15]	于敏须文波孙俊. 纳什均衡解及其QPSO算法求解[J]. 计算机工程与应用, 2007, 43(10期): 48-51.