Next generation Air Transportation Systems are going to be strongly information-centered and will drive greater integration and connectivity of all the relevant communication endpoints. Focusing on the airborne domain, future communication infrastructures will require more integration among the different aircraft networks, overcoming the traditional partitioning into multiple, isolated security domains. Novel solutions are needed to support a more flexible approach, allowing bidirectional flows across domains with a strong assurance that safety-critical functions are adequately protected from misuse or cyber threats. The paper reports on research conducted to pilot the use of the seL4 microkernel to implement a high-assurance Cross-domain Guard Solution to support communication over domains of different assurance levels and enforce control on packets and payloads allowed to transition across those domains. Such a solution is designed to allow easy reconfiguration of the cross-domain policy while providing the highest guarantees of security by leveraging both the platform hardware security support and the formally-proven-correct seL4 separation kernel. The proposed solution also comprises a toolchain for quick and cost-effective customization and deployment: from the high-level representation of the desired configuration to the auto-generated configuration and integration code for the underlying platform.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Towards High-Assurance Cross-Domain Solutions for Connected Aviation


    Contributors:


    Publication date :

    2024-09-29


    Size :

    799199 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English





    Flight Operational Quality Assurance in Corporate Aviation

    Mendenhall, E. D. / Flight Safety Foundation / National Business Aviation Association | British Library Conference Proceedings | 2002


    Evaluation of COTS Solutions to Support Flight Operations Quality Assurance in Business/Corporate Aviation

    Bromfield, Mike A. / Walton, Thomas / Wright, David et al. | AIAA | 2018


    Workshop on Assurance for Autonomous Systems for Aviation

    Brat, Guillaume / Davies, Misty / Giannakopoulou, Dimitra et al. | NTRS | 2016