• 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