Validation of the Protected DMS Specifications
Gillian Kirkby, Michael Grohn · 1977
Abstract : A mathematical validation of the formal specifications of the security-related functions of a secure (military sense) relational data management system is presented. The validation technique is described, and a sample set of Parnas-like specifications with all associated validation sheets are included.