Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Model-Based Safety and Security Engineering   By exploiting the increasing surface attack of systems, cyber-attacks can
cause catastrophic events, such as, remotely disable safety mechanisms. This
means that in order to avoid hazards, safety and security need to be
integrated, exchanging information, such as, key hazards/threats, risk
evaluations, mechanisms used. This white paper describes some steps towards
this integration by using models. We start by identifying some key technical
challenges. Then we demonstrate how models, such as Goal Structured Notation
(GSN) for safety and Attack Defense Trees (ADT) for security, can address these
challenges. In particular, (1) we demonstrate how to extract in an automated
fashion security relevant information from safety assessments by translating
GSN-Models into ADTs; (2) We show how security results can impact the
confidence of safety assessments; (3) We propose a collaborative development
process where safety and security assessments are built by incrementally taking
into account safety and security analysis; (4) We describe how to carry out
trade-off analysis in an automated fashion, such as identifying when safety and
security arguments contradict each other and how to solve such contradictions.
We conclude pointing out that these are the first steps towards a wide range of
techniques to support Safety and Security Engineering. As a white paper, we
avoid being too technical, preferring to illustrate features by using examples
and thus being more accessible.

7
The categories of this paper are: hep-th
19
The categories of this paper are: eess
12
The categories of this paper are: nucl-th
8
The categories of this paper are: hep-ex
15
The categories of this paper are: nucl-ex
32
The categories of this paper are: atom-ph
20
The categories of this paper are: acc-phys
13
The categories of this paper are: quant-ph
14
The categories of this paper are: math-ph
0
The categories of this paper are: hep-ph
21
The categories of this paper are: adap-org
37
The categories of this paper are: supr-con
25
The categories of this paper are: patt-sol
6
The categories of this paper are: astro-ph
5
The categories of this paper are: gr-qc
2
The categories of this paper are: math