[论文解读] Cyber-Physical Systems Security -- A Survey

Abdulmalik Humayed, Jingqiang Lin+2 more|arXiv (Cornell University)|Jan 17, 2017

Smart Grid Security and Resilience参考文献 71被引用 15

一句话总结

本文提出了一种统一的三维框架，用于分析信息物理系统（CPS）安全，整合了网络、物理及网络物理组件中的威胁、脆弱性、攻击与防护措施。该框架系统性地调研了智能电网、医疗设备、智能汽车和工业控制系统等关键CPS领域中的安全挑战，揭示了脆弱性的根本原因，并识别出现有防御机制中的关键缺陷。

ABSTRACT

With the exponential growth of cyber-physical systems (CPS), new security challenges have emerged. Various vulnerabilities, threats, attacks, and controls have been introduced for the new generation of CPS. However, there lack a systematic study of CPS security issues. In particular, the heterogeneity of CPS components and the diversity of CPS systems have made it very difficult to study the problem with one generalized model. In this paper, we capture and systematize existing research on CPS security under a unified framework. The framework consists of three orthogonal coordinates: (1) from the \emph{security} perspective, we follow the well-known taxonomy of threats, vulnerabilities, attacks and controls; (2)from the \emph{CPS components} perspective, we focus on cyber, physical, and cyber-physical components; and (3) from the \emph{CPS systems} perspective, we explore general CPS features as well as representative systems (e.g., smart grids, medical CPS and smart cars). The model can be both abstract to show general interactions of a CPS application and specific to capture any details when needed. By doing so, we aim to build a model that is abstract enough to be applicable to various heterogeneous CPS applications; and to gain a modular view of the tightly coupled CPS components. Such abstract decoupling makes it possible to gain a systematic understanding of CPS security, and to highlight the potential sources of attacks and ways of protection.

研究动机与目标

• 解决由于组件异构性和系统多样性导致的CPS安全分析缺乏系统性、统一模型的问题。
• 通过整合威胁分类法与组件级及系统级视角，系统化整合现有CPS安全研究。
• 识别代表性CPS应用中脆弱性的根本原因及反复出现的攻击模式。
• 突出当前CPS安全机制中缺失的防护措施与未解决的挑战。
• 提供一种模块化、抽象化的框架，以支持在异构CPS环境中系统性地分析与设计安全控制措施。

提出的方法

• 提出一个三维框架：(1) 安全分类（威胁、脆弱性、攻击、控制），(2) CPS组件类型（网络、物理、网络物理），(3) 典型CPS系统（如智能电网、医疗CPS、智能汽车）。
• 根据攻击来源与影响的组件类型，将攻击划分为网络攻击、物理攻击和网络物理攻击。
• 结合具体实例，分析工业控制系统、智能电网、医疗设备和智能汽车中的真实漏洞与攻击。
• 调研现有控制机制，如形式化验证、访问控制、防火墙、入侵检测系统（IDS）以及安全通信协议。
• 在IDS中引入上下文感知机制（如状态感知的消息验证），以在车辆等动态环境中检测恶意行为。
• 整合基于模型的设计与验证技术，以验证商用现成（COTS）及第三方组件集成中的假设。

实验结果

研究问题

• RQ1 如何设计一个统一框架，以建模CPS安全中网络、物理及网络物理组件之间的相互作用？
• RQ2 异构CPS组件中的主要脆弱性来源是什么？它们如何导致可利用的攻击向量？
• RQ3 某一领域（如物理领域）的攻击如何传播并影响网络领域，反之亦然？
• RQ4 当前智能电网、医疗CPS和智能汽车中控制机制的关键安全缺口是什么？
• RQ5 在具备V2V/V2I通信的新兴CPS（如自动驾驶汽车）中，出现了哪些新的安全挑战？

主要发现

• 组件异构性——尤其是商用现成（COTS）和第三方部件——显著扩大了攻击面，并使CPS中的安全集成更加复杂。
• 智能汽车中使用的传统通信协议（如CAN）由于缺乏认证与隔离机制，本质上存在漏洞，易受绕过攻击。
• 物理层攻击（如信号注入或传感器欺骗）即使未直接入侵网络，也可能导致网络物理系统的灾难性故障。
• 许多现有控制机制（如防火墙和IDS）在实时CPS中表现不足，原因在于性能开销过大且缺乏上下文感知能力。
• 形式化验证与基于模型的设计在验证第三方组件集成中的假设方面非常有效，但在实践中仍被严重低估。
• 由于V2V和V2I通信的引入，自动驾驶汽车中正涌现出新型威胁，亟需新型协议与运行时监控解决方案。