Navy Handbook for the Computer Security Certification of Trusted Systems

This page is part of the web for the Center for High Assurance Computing Systems.

The chapters listed below are provided in two portable formats: Adobe PostScript and Adobe PDF (Portable Document Format). The PDF files can be viewed on any Mac, Windows or Sun machine using freely available reader software from Adobe.

In general, a PDF file is smaller and, with the reader, easier to peruse online than the corresponding PostScript file. You may also print from the PDF viewer. Some PostScript viewers (e.g., Pageview) on the other hand, may not display some of the PostScript files properly, although all files should print fine. Both formats are type ASCII.

List of Chapters

  1. Overview
  2. Development Plan
  3. Security Policy Model [PostScript (1203KB), PDF (211KB)]
  4. Descriptive Top-Level Specification
  5. Design
  6. Assurance Mappings [PostScript (667KB), PDF (134KB)]
  7. Implementation [PostScript (806KB), PDF (168KB)]
  8. Covert Channel Analysis [Postscript (896KB), PDF (484KB)]
  9. Security Features Testing
  10. Penetration Testing [PostScript (1283KB), PDF (343KB)]


Back to the Publications Page.

CHACS Home Page

The appearance of external hyperlinks does not constitute endorsement by the United States Department of Defense, the United States Department of the Navy and The Naval Research Laboratory of the linked web sites, or the information, products or services contained therein. For other than authorized activities such as military exchanges and Morale, Welfare and Recreation (MWR) sites, the United States Department of Defense, the Department of the Navy and The Naval Research Laboratory does not exercise any editorial control over the information you may find at these locations. Such links are provided consistent with the stated purpose of this DoD web site.

Privacy Policy