DocumentCode
594288
Title
Combined safety and security certification
Author
Romanski, G.
Author_Institution
Verocel, Inc., USA
fYear
2012
fDate
15-18 Oct. 2012
Firstpage
1
Lastpage
5
Abstract
New systems are being developed which are used in safety critical systems but must also satisfy security requirements. To reduce space, weight and power, a Multiple Independent Layered Security (MILS) platform could be used to support many applications. A MILS platform could support safety critical, and non-safety related functions, and manage TopSecret, Secret, and Unclassified data, by providing the necessary protection and controls to manage them. The certification of such a platform must organize a lot of interrelated data that both safety and security domain auditors find acceptable. The approach used to capture and manage the certification evidence to satisfy both safety and security properties is presented.
Keywords
aerospace computing; air safety; avionics; certification; data handling; formal specification; formal verification; safety-critical software; security of data; MILS platform; Top-Secret data management; Unclassified data management; certification evidence; multiple independent layered security platform; nonsafety related function; protection; safety certification; safety critical function; safety critical system; security certification; security property; security requirement satisfaction; Certification; MILS; Safety; Security;
fLanguage
English
Publisher
iet
Conference_Titel
System Safety, incorporating the Cyber Security Conference 2012, 7th IET International Conference on
Conference_Location
Edinburgh
Electronic_ISBN
978-1-84919-678-9
Type
conf
DOI
10.1049/cp.2012.1511
Filename
6458952
Link To Document