• DocumentCode
    1994165
  • Title

    Reasoning about confidentiality requirements

  • Author

    Foley, Simon N.

  • Author_Institution
    Dept. of Comput. Sci., Univ. Coll. Cork, Ireland
  • fYear
    1994
  • fDate
    14-16 Jun 1994
  • Firstpage
    150
  • Lastpage
    160
  • Abstract
    Reflexive flow policies provide abstract characterizations of certain multilevel confidentiality requirements. This paper describes how reflexive flow policies can be used to construct and reason about large/complex multilevel policies. In particular, we describe how reflexive policies can be used to develop and reason about security policies for multilevel relational databases. Our approach facilitates a study of the relationship between security policy design and database design
  • Keywords
    inference mechanisms; relational databases; security of data; abstract characterizations; confidentiality requirements; database design; multilevel relational databases; reasoning; reflexive flow policies; security policies; Computer science; Data security; Educational institutions; Information security; Lattices; Mathematics; Multilevel systems; Relational databases;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Security Foundations Workshop VII, 1994. CSFW 7. Proceedings
  • Conference_Location
    Franconia, NH
  • ISSN
    1063-6900
  • Print_ISBN
    0-8186-6230-1
  • Type

    conf

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