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