47987
doi
10.5281/zenodo.47987
oai:zenodo.org:47987
user-mils
Müller, Kevin
Airbus Group Innovations
Paulitsch, Michael
Thales Austria GmbH
Bloomfield, Robin
City University London
Security-Informed Safety Case Approach to Analysing MILS Systems
Netkachova, Kateryna
City University London
info:eu-repo/semantics/openAccess
Creative Commons Attribution 4.0 International
https://creativecommons.org/licenses/by/4.0/legalcode
Security-informed safety case
MILS
security gateway
layers of assurance
<p>Safety cases are the development foundation for safety-critical systems and are often quite complex to understand depending on the size of the system and operational conditions. The recent advent of security aspects complicates the issues further. This paper describes an approach to analysing safety and security in a structured way and creating security-informed safety cases that provide justification of safety taking into particular consideration the impact of security. The paper includes an overview of the structured assurance case concept, a security-informed safety methodology and a layered approach to constructing cases. The approach is applied to a Security Gateway that is used to control data flow between security domains in a separation kernel based operating system in avionics environment. We show that a clear and structured way of presenting a safety case combining safety and security alleviates understanding important interactions taking into account the impact and, hence, increases safety.</p>
Zenodo
2015-01-20
info:eu-repo/semantics/conferencePaper
631562
user-mils
1579539649.150125
430394
md5:da33792d66f83f7e56093573e809b9c3
https://zenodo.org/records/47987/files/07-mils15_submission_7.pdf
public
isVersionOf
doi