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;
Conference_Titel :
System Safety, incorporating the Cyber Security Conference 2012, 7th IET International Conference on