Title :
The SeaView verification
Author :
Whitehurst, R. Alan ; Lunt, Teresa F.
Author_Institution :
SRI Int., Menlo Park, CA, USA
Abstract :
The SeaView project was a three-year program to create the design of a multilevel secure relational database system that meets the criteria for Class A1. The verification of the SeaView formal top-level specifications and the benefits that were gained from the exercise are discussed. The SeaView specifications describe the database system in the formal specification language of the SRI specification and verification system, Enhanced HDM. The process of specification and verification substantially improved the quality and completeness of the SeaView design
Keywords :
formal specification; program verification; relational databases; security of data; Class A1; Enhanced HDM; SRI specification and verification system; SeaView formal top-level specifications; SeaView verification; completeness; multilevel secure relational database system; quality; Access control; Authorization; Contracts; Data models; Data security; Formal specifications; Kernel; Labeling; Monitoring; Relational databases;
Conference_Titel :
Computer Security Foundations Workshop II, 1989., Proceedings of the
Conference_Location :
Franconia, NH
DOI :
10.1109/CSFW.1989.40595
