Trusted Computing Exemplar: Low-level Design Document Standards
Loading...
Authors
Clark, Paul C.
Irvine, Cynthia E.
Nguyen, Thuy D.
Subjects
Machinery control systems
MCS
life cycle security
high assurance
system security
trustworthy systems
MCS
life cycle security
high assurance
system security
trustworthy systems
Advisors
Date of Issue
2014-12-12
Date
December 12, 2014
Publisher
Monterey, California. Naval Postgraduate School
Language
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.
Type
Technical Report
Description
Series/Report No
Department
Organization
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
NPS-CAG-14-008
Sponsors
Prepared for United States Navy, OPNAV N2/N6 and funded in part by United States Navy, OPNAV N2/N6. A portion of the material presented here is based upon work supported by the National Science Foundation under Grant No. CNS-0430566 and CNS-0430598.
Funder
Format
Citation
Distribution Statement
Approved for public release; distribution is unlimited.
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.