Title :
Reasoning about confidentiality requirements
Author_Institution :
Dept. of Comput. Sci., Univ. Coll. Cork, Ireland
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;
Conference_Titel :
Computer Security Foundations Workshop VII, 1994. CSFW 7. Proceedings
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-6230-1
DOI :
10.1109/CSFW.1994.315939
