Trusted Computing Exemplar: Quality Assurance Plan
Download
Author
Clark, Paul C.
Irvine, Cynthia E.
Nguyen, Thuy D.
Date
2014-12-12Metadata
Show full item recordAbstract
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.
In particular, this document expands and unifies the testing requirements that are stated in the Life Cycle Management Plan, the
Configuration Management Plan, and the Software Development Standards.
This Quality Assurance (QA) Plan emphasizes requirements, restrictions, standards, responsibilities, etc., for these required tests.
Specifically excluded from this plan, however, are the formal and semi-formal work, code correspondence, and covert channel
analysis. In addition, there will need to be independent re-testing and penetration testing performed. It is also recognized that quality
means more than just source code testing (such as conformance to documentation standards, correct spelling, etc.); those issues are
currently covered in other documents.
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.NPS Report Number
NPS-CAG-14-009Related items
Showing items related by title, author, creator and subject.
-
Design and integration of a Flight Management System for the unmanned air vehicle FROG
Rivers, Timothy C. (Monterey, California. Naval Postgraduate School, 1998-12);The purpose of this thesis is to design, integrate and flight test a Flight Management System (FMS) for the computer control of an unmanned air vehicle (UAV). By combining modern control design techniques and the capabilities ... -
Trusted Computing Exemplar: Physical Security Plan
Clark, Paul C.; Hopfner, Phil; Irvine, Cynthia E.; Nguyen, Thuy D. (Monterey, California. Naval Postgraduate School, 2014-12-12); NPS-CAG-14-006This 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 ... -
Trusted Computing Exemplar: Trusted Distribution Plan - Preliminary Design
Clark, Paul C.; Irvine, Cynthia E.; Nguyen, Thuy D. (Monterey, California. Naval Postgraduate School, 2014-12-12); NPS-CAG-14-010This 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 ...