In tomorrow's 'brilliant' weapons, next-generation avionic computers will need to orchestrate the actions of many subsystems while further maintaining the security of sensitive data, the integrity of key data and of system behavior, and often other key properties. Maintenance of these properties will help ensure that system execution is trustable, conforming to both prescribed policies and expected behavior. For traditional security (confidentiality) as required by DoD, the policy to be maintained is well understood and essentially application independent. Although the weapon environment will surely render inadequate much of current security engineering practice and likely stress the security technology base, the now familiar, fundamental mechanisms of MAC and DAC will still form the foundation of suitable multi-level security (MLS) maintenance. For integrity maintenance, however, realistic policies are quite application dependent. In general, a specific integrity policy needs to comprehend not only certain behavioral aspects of the overall application, but also of potentially many distinct states within the application. Thus, integrity maintenance requires control derived from a state machine specifying 'acceptable' application behavior.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Trustable computing in next-generation avionic architectures


    Additional title:

    Verläßliche Berechnung in Avionikarchitekturen der nächsten Generation


    Contributors:


    Publication date :

    1992


    Size :

    9 Seiten, 12 Bilder, 1 Tabelle, 6 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Modular avionic architectures

    Trujillo, E. | Tema Archive | 1989


    Optimization of avionic system architectures

    Schulz, Mario / Zerbe, Volker / Yang, Kai et al. | Online Contents | 2011


    Optimization of avionic system architectures

    Schulz, Mario / Zerbe, Volker / Yang, Kai et al. | Springer Verlag | 2011


    Evaluation of Next Generation Avionic Fibre Optic Cables

    Proudley, G.M. / White, H.J. / Aldridge, N.B. | IEEE | 2006