• DocumentCode
    2561431
  • Title

    A Formal Statement of the MMS Security Model

  • Author

    Mclean, John ; Landwehr, Carl E. ; Heitmeyer, Constance L.

  • Author_Institution
    Naval Research Laboratory
  • fYear
    1984
  • fDate
    April 29 1984-May 2 1984
  • Firstpage
    188
  • Lastpage
    188
  • Abstract
    To provide a firm foundation for proofs about the security properties of a system specification or implementation, a formal statement of its security model is needed. This paper presents a formal model that corresponds to an informal, application-based security model for military message systems (MMS) that has been documented elsewhere. Following the formal statement, some considerations that led to its present form are discussed. The paper concludes with the statement of a "Basic Security Theorem" for the model.
  • Keywords
    Computational modeling; Containers; History; Message systems; Security; Semantics; Transforms;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Security and Privacy, 1984 IEEE Symposium on
  • Conference_Location
    Oakland, CA, USA
  • ISSN
    1540-7993
  • Print_ISBN
    0-8186-0532-4
  • Type

    conf

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