Trusted Computing Exemplar: Low-Level Design Document Standards
Technical rept. Nov 2013-Nov 2014
NAVAL POSTGRADUATE SCHOOL MONTEREY CA
Pagination or Media Count:
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.
- Information Science