• DocumentCode
    564702
  • Title

    Security Policies and Security Models

  • Author

    Goguen, J.A. ; Meseguer, J.

  • Author_Institution
    SRI International
  • fYear
    1982
  • fDate
    26-28 April 1982
  • Firstpage
    11
  • Lastpage
    11
  • Abstract
    We assune that the reader is familiar with the ubiquity of information in the modern world and is sympathetic with the need for restricting rights to read, add, modify, or delete information in specific contexts. This need is particularly acute for systems having computers as significant components.
  • Keywords
    Automata; Computational modeling; Computers; Data models; Finite element methods; Mathematical model; Message systems;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Security and Privacy, 1982 IEEE Symposium on
  • Conference_Location
    Oakland, CA, USA
  • ISSN
    1540-7993
  • Print_ISBN
    0-8186-0410-7
  • Type

    conf

  • DOI
    10.1109/SP.1982.10014
  • Filename
    6234468