Accession Number:

ADA614994

Title:

Trusted Computing Exemplar: Low-Level Design Document Standards

Descriptive Note:

Technical rept. Nov 2013-Nov 2014

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Report Date:

2014-12-12

Pagination or Media Count:

15.0

Abstract:

This document describes the Life Cycle Management Plan for the development of a high assurance secure product. A high assurance product is one for which its users have a high level of confidence that its security policies will be enforced continuously and correctly. Such products are constructed so that they can be analyzed for these characteristics. Lifecycle activities ensure that the product reflects the intent to ensure that the product is trustworthy and that vigorous efforts have been made to ensure the absence of unspecified functionality, whether accidental or intentional. This document provides the standard format for writing low-level design documents. Low-level design documents provide a detailed description of one or more modules. The level of detail should be sufficient such that two independent implementations will produce functionally equivalent modules.

Subject Categories:

  • Information Science

Distribution Statement:

APPROVED FOR PUBLIC RELEASE