DocumentCode
3194627
Title
The SeaView verification
Author
Whitehurst, R. Alan ; Lunt, Teresa F.
Author_Institution
SRI Int., Menlo Park, CA, USA
fYear
1989
fDate
11-14 Jun 1989
Firstpage
125
Lastpage
132
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop II, 1989., Proceedings of the
Conference_Location
Franconia, NH
Type
conf
DOI
10.1109/CSFW.1989.40595
Filename
40595
Link To Document