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.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
No takes yet. Share an insight, caveat, or question.
Whitehurst et al. (2003) studied this question.
Synapse has enriched 4 closely related papers on similar clinical questions. Consider them for comparative context: