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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    High assurance security and safety for digital avionics


    Beteiligte:
    Jacob, J.M. (Autor:in)


    Erscheinungsdatum :

    01.01.2004


    Format / Umfang :

    563644 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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

    Freier Zugriff