This paper describes: 1. Why security is important for the new generation of digital avionics, 2. A significant evolution to computer security architectures and secure communications MILS (multiple independent levels of security/safety) capable of the high assurance to support MLS (multi-level security) systems without the complexity of traditional MLS systems, 3. The MILS RTOS partitioning kernel architecture, 4. The MILS secure communications partitioning communications system architecture, and 5. Real-time MILS CORBA.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    High assurance security and safety for digital avionics


    Contributors:
    Jacob, J.M. (author)


    Publication date :

    2004-01-01


    Size :

    563644 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    High Assurance Security and Safety for Digital Avionics

    Jacob, J. / IEEE / AIAA | British Library Conference Proceedings | 2004



    Aircraft separation assurance avionics

    SOBOCINSKI, R. | AIAA | 1981



    Design Assurance Evaluation of Microcontrollers for safety critical Avionics

    Schwierz, Andreas / Forsberg, Håkan | ArXiv | 2018

    Free access