The Army Secure Operating System (ASOS) program is providing a family of operating systems for tactical data system applications in Ada. Two members of the ASOS family have been developed: a dedicated secure operating system intended for the TCSEC (the DoD Trusted Computer System Evaluation Criteria) C2 level, and a multilevel secure operating system intended for the TCSEC A1 level. An overview is presented of the A1 system concept and TRW's solution to the ASOS kernel verification problem. A description is given of the model, the formal top-level specification :(FTLS), and proof approaches as well as some practical techniques for coping with proof complexity. Summary statistics on the actual proofs have been compiled and included in the discussion of the verification results.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Specification and verification of the ASOS kernel


    Additional title:

    Spezifizierung und Verifizierung des ASOS-Kernels


    Contributors:


    Publication date :

    1990


    Size :

    14 Seiten, 11 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    ASOS and AWOS Observations

    Online Contents | 1994


    PROGRESS TOWARDS DRIZZLE DETECTION ON ASOS

    Wade, C. G. / American Meteorological Society / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2002


    Status of Asos Planned Product Improvements

    Gifford, M. D. / Laster, M. E. / Alexander, C. L. et al. | British Library Conference Proceedings | 1997


    ASOS Dispatch Visual Range (DVR) Demonstration Final Performance Report

    Sypher, P. / Starr, K. M. / Imbembo, S. M. et al. | British Library Conference Proceedings | 1995


    A Scheduling Algorithm for ASOS and its Application to Traffic Control

    He, D.-Z. / Wang, Z.-X. / Li, W. et al. | British Library Conference Proceedings | 2003