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

• 网络、通信、安全 • 上一篇    下一篇

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

徐  昕1,2,虞慧群1,黄骏虎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. 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

摘要: 随着信息物理融合系统(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