Addressing Safety and Security Contradictions in Cyber-Physical Systems
Addressing Safety and Security Contradictions in Cyber-Physical Systems
复制标题
解决网络物理系统中的安全矛盾
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Carl A. Gunter
中科院分区：
文献类型：
--
作者：
Mu Sun;Sibin Mohan;Carl A. Gunter
现代信息物理系统存在于汽车、医疗设备、楼宇自动化、航空电子设备等重要领域。因此，它们越来越容易受到安全违规的影响。这类漏洞常常是由于系统的安全/实时属性与安全需求之间的矛盾要求而产生的。在本文中，我们提出了一个正式的框架，该框架可帮助设计人员尽早检测此类冲突，从而提高整个系统的安全性和保密性。
Modern cyber-physical systems are found in important domains such as automobiles, medical devices, building automation, avionics, etc.. Hence, they are increasingly prone to security violations. Often such vulnerabilities occur as a result of contradictory requirements between the safety/real-time properties and the security needs of the system. In this paper we propose a formal framework that assists designers in detecting such conflicts early, thus increasing both, the safety and the security of the overall system.