The SeaView verification
- 13 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 125-132
- https://doi.org/10.1109/csfw.1989.40595
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
This publication has 4 references indexed in Scilit:
- 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
- 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