City Research Online

Abstract

The paper describes a layered approach to analysing safety and security in a structured way and creating a security-informed safety case. The approach is applied to a case study – a Security Gateway controlling data flow between two different security domains implemented with a separation kernel based operating system in an avionics environment. We discuss some findings from the case study, show how the approach identifies and ameliorates important interactions between safety and security and supports the development of complex assurance case structures.

Publication Type:	Conference or Workshop Item (Paper)
Additional Information:	© 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Publisher Keywords:	Kernel; Safety; Security; Standards; System analysis and design
Subjects:	T Technology > TA Engineering (General). Civil engineering (General)
Departments:	School of Science & Technology > Computer Science School of Science & Technology > Computer Science > Software Reliability

Export

Downloads