Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Model-based Safety and Security Co-analysis: Survey and Identification
  of Gaps   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 ill-understood. Existing
formalisms merge previous safety and security formalisms, without introducing
specific constructs to model safety-security interactions, or metrics to
analyze trade offs.

18
The categories of this paper are: econ
2
The categories of this paper are: math
22
The categories of this paper are: chao-dyn
21
The categories of this paper are: adap-org
5
The categories of this paper are: gr-qc
37
The categories of this paper are: supr-con
11
The categories of this paper are: hep-lat
8
The categories of this paper are: hep-ex
28
The categories of this paper are: alg-geom
6
The categories of this paper are: astro-ph
32
The categories of this paper are: atom-ph
15
The categories of this paper are: nucl-ex
25
The categories of this paper are: patt-sol
12
The categories of this paper are: nucl-th
10
The categories of this paper are: q-bio
16
The categories of this paper are: stat