The SeaView security model
- 1 June 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 16 (6) , 593-607
- https://doi.org/10.1109/32.55088
Abstract
A multilevel database is intended to provide the security needed for database systems that contain data at a variety of classifications and serve a set of users having different clearances. A formal security model for such a system is described. The model is formulated in two layers, one corresponding to a reference monitor that enforces mandatory security, and the second an extension of the standard relational model defining multilevel relations and formalizing policies for labeling new and derived data, data consistency, and discretionary security. The model also defines application-independent properties for entity integrity, referential integrity, and polyinstantiation integrity.Keywords
This publication has 11 references indexed in Scilit:
- The SeaView verificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- LOCK trek: navigating uncharted spacePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A near-term design for the SeaView multilevel database systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Toward a multilevel relational data languagePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Some results from the entity/relationship multilevel secure DBMS projectPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Query processing in LDV: a secure database systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The SeaView security modelPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A Multilevel Relational Data ModelPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1987
- A Preliminary Neval Surveillance OBMS SacurityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982
- Secure Computer System: Unified Exposition and Multics InterpretationPublished by Defense Technical Information Center (DTIC) ,1976