• DocumentCode
    564737
  • Title

    Extending The Non-Interference Version Of MLS For Sat

  • Author

    Haigh, J.Thomas ; Young, William D.

  • Author_Institution
    Honeywell´s Secure Computing and Technology Center
  • fYear
    1986
  • fDate
    7-9 April 1986
  • Firstpage
    231
  • Lastpage
    231
  • Abstract
    A non-interference formulation ofMLS applicable to the Secure Ada Target (SAT) Abstract Model is developed. An analogous formulation is developed to handle the SAT type enforcement policy. Unwinding theorems are presented for both MLS and Multi-Domain Security (MDS) and the SAT Abstract Model is shown to satisfy both MLS and MDS. Generalizations and extensions are also considered.
  • Keywords
    Abstracts; Access control; Computational modeling; Interference; Pipelines; Printers;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Security and Privacy, 1986 IEEE Symposium on
  • Conference_Location
    Oakland, CA, USA
  • ISSN
    1540-7993
  • Print_ISBN
    0-8186-0716-5
  • Type

    conf

  • DOI
    10.1109/SP.1986.10004
  • Filename
    6234859
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=564737