Model-based Safety and Security Co-analysis: Survey and Identification of Gaps. (arXiv:2106.06272v2 [cs.CR] UPDATED)

We survey the state-of-the-art on model-based formalisms for safety and
security analysis, where safety refers to the absence of unintended failures,
and security absence of malicious attacks. We consider fourteen model-based
formalisms, comparing their modeling principles, the interaction between safety
and security, and analysis methods. In each formalism, we model the classical
Locked Door Example where possible. In addition, we compare the formalisms
according their modeling expressiveness. Our key finding is that the exact
nature of safety-security interaction is still …

analysis safety security survey