面向智慧城市的数据驱动信息物理系统安全威胁分析模型与方法

信息物理系统（CPS）是一个集成计算、通信和物理过程的混成系统，在智慧城市中占据至关重要的地位，其安全问题面临许多挑战.本文首先建立信息物理系统安全威胁分析模型，给出CPS各个组成部件的安全威胁，然后提出了信息物理系统的威胁关联分析方法，并以智能电网为例给出实验测试结果.结果表明，该方法能实现快速大规模安全威胁建模和自动化分析，为智慧城市中的关键信息基础设施提供技术支撑.最后，本文总结了智慧城市中信息物理系统的安全威胁研究进展和未来研究方向.

Data-Driven Cyber-Physical System Security Threat Analysis Model and Method for Smart Cities

A Cyber-Physical System (CPS) is a mixed system integrated with computation, communication, and physical processes, which takes an important position in the smart city, and there are many challenges in its security issues. Firstly, we establish a cyber security model for CPS, providing with the security threats of various components of CPS. Then, we propose a CPS threats analysis method and provide experimental test results. The results show that this method can achieve rapid large-scale security threat modeling and automatic analysis. Consequently, it can provide technical supports for the security assurance of the key information infrastructures in smart cities. Finally, we summarized the research advance and future research direction of security threats on CPS in the smart city.