• DocumentCode
    3170516
  • Title

    Noninterference and unwinding for LOCK

  • Author

    Fine, Todd ; Haigh, J. Thomas ; O´Brien, Richard C. ; Toups, Dana L.

  • Author_Institution
    Honeywell, Inc., Boston, MA, USA
  • fYear
    1989
  • fDate
    11-14 Jun 1989
  • Firstpage
    22
  • Lastpage
    28
  • Abstract
    The LOCK noninterference policy for analyzing security properties of systems is presented. An unwinding theorem is developed. Difficulties resulting from trying to apply an abstract noninterference policy to a real system are discussed. A comparison is made between the LOCK noninterference policy and other versions of noninterference
  • Keywords
    automata theory; security of data; LOCK noninterference policy; abstract noninterference policy; multi-level security policies; security properties; unwinding theorem; Access control; Data analysis; Data security;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Security Foundations Workshop II, 1989., Proceedings of the
  • Conference_Location
    Franconia, NH
  • Type

    conf

  • DOI
    10.1109/CSFW.1989.40583
  • Filename
    40583
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3170516