DMCA
Addressing Safety and Security Contradictions in Cyber-Physical Systems
by
Mu Sun
,
Sibin Mohan
,
Lui Sha
,
Carl Gunter
BibTeX
@MISC{Sun_addressingsafety,
author = {Mu Sun and Sibin Mohan and Lui Sha and Carl Gunter},
title = {Addressing Safety and Security Contradictions in Cyber-Physical Systems},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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. 1.
