Validation of the Protected DMS Specifications

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1977
Accession Number
ADA045538

Entities

People

  • Gillian Kirkby
  • Michael Grohn

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Accumulators
  • Classification
  • Computer Access Control
  • Data Management
  • Databases
  • Directories
  • Engineering
  • Government Procurement
  • Governments
  • Identification
  • Inspection
  • Language
  • Mathematical Models
  • Notation
  • Two Dimensional
  • Validation

Readers

  • Cybersecurity.
  • Database Systems and Applications
  • Software Engineering