NCSC-TG-024 Volume 3/4 Library No S239,689 Version 1 FOREWORD This guideline, Volume 3 of 4 in the Procurement Guideline Series, is written to help facilitate the acquisition of trusted computer systems in accordance with DoD 5200.28-STD, Department of Defense Trusted Computer System Evaluation Criteria. It is designed for new or experienced automated information system developers, purchasers, or program managers who must identify and satisfy requirements associated with security-relevant acquisitions. Volume 3 explains Contract Data Requirements Lists (CDRLS) and Data Item Description (DIDS) and their use in the acquisition process. Information contained within the Procurement Guideline Series will facilitate subsequent development of procurement guidance for the "Federal Criteria." This series also includes information being developed for certification and accreditation guidance. The business of computers, security, and acquisitions is complex and dynamic. As the Director, National Computer Security Center, I invite your recommendations for revision to this technical guideline. Our staff will work to keep this guideline current. However, experience of users in the field is the most important source of timely information. Please send comments and suggestions to: National Security Agency 9800 Savage Road Fort George G. Meade, MD 20755-6000 ATTN: Standards, Criteria, and Guidelines Division 28 February 1994 Patrick R. Gall Jr. Director National Computer Security Center ACKNOWLEDGEMENTS Special recognition is extended to MAJ (USA) Mel De Vilbiss and CPT (USA) Scott M. Carlson, National Security Agency (NSA), who integrated theory, policy, and practice into, and directed the production of this document. Acknowledgment is also given to the primary author, Joan Fowler, Grumman Data Systems (GDS); and the contributions of Dan Gambel, GDS; Nicholas Pantiuk, GDS; Virgil Gibson, GDS; Yvonne Smith, GDS; Judy Hemenway, GDS and Howard Johnson, Information Intelligence Sciences, Inc. Organizations that were particularly helpful in providing constructive reviews and advice besides many NSA organizations, included: Contel Federal Systems; CTA, Inc.; DCA; DLA; DOE; GSA; MITRE; NISMC; USA, CECOM; USA, OSA; USAF, AFCC; USAF, AFCSC; USAF, USCINCPAC/C3; USMC; USN, ITAC; USN, NCTC; and USN, NISMC. Special thanks to Carol Oakes, Senior Technical Editor, MITRE, for her assistance with the final editing of this guideline. TABLE OF CONTENTS FOREWORD.................................................. I ACKNOWLEDGMENTS....................................................II LIST OF TABLES................................................................vi LIST OF FIGURES.....................................................vi PREFACE....................................................................... vii 1.0 GENERAL INFORMATION..........I 1.1 Purpose and Scope................................................ 1 1.2 Background........................................................ 2 1.3 Structure of the Guideline........................................3 2.0 SECURITY DOCUMENTATION................................................... 5 2.1 TCSEC Documentation Requirements................................. 5 2.1.1 Operational Manuals..................................... 5 2.1.2 Design Documentation..................................... 5 2.1.3 Assurance Documentation.................................. 7 2.1.4 Documentation Presentation............................... 7 2.2 COTS Documentation................................................. 9 2.3 Security Documentation in a Program Life-Cycle...............10 3.0 CONTRACT DATA REQUIREMENTS LIST ISSUES............... 15 3.1 What is a Contract Data Requirements List?.................. 15 3.2 Contract Data Requirements List Format..................... 15 3.2.1 Block 1: Sequence Number....................... 15 3.2.2 Block 2: Title or Description of Data................. 1 7 3.2.3 Block 3: Subtitle............................... 1 7 3.2.4 Block 4: Authority (Data Item (or DID) Number)......... 1 7 3.2.5 Block 5: Contract Reference...................... 17 3.2.6 Block 6: Technical Office......................... 17 3.2.7 Block 7: DD Form 250 Requirement................. 17 3.2.8 Block 8: Approval Code.......................... 18 3.2.9 Block 9: Input to Integrating Associated Contractor...... 18 3.2.10 Block 10: Frequency............................ 18 3.2.11 Block 1 1: As of Date............................ 1 9 3.2.12 Block 12: Date for First Submission................. 1 9 3.2.13 Block 13: Date Subsequent Submission/Event Identification 20 3.2.14 Block 14: Distribution and Addressees.................................. 20 3.2.15 Block 15: Total......................................................... 20 3.2.16 Block 16: Remarks...................................................... 21 3.2.17 Block 17 through 26.............................................. 21 4.0 DATA ITEM DESCRIPTION MODIFICATION................................. 23 4.1 What Is a Data Item Description?.................................................. 23 4.2 Tailoring Overview................................................................. 23 4.2.1 Reasons for Tailoring.............................................. 24 4.2.2 Tailoring Recommendations................................................ 25 4.3 Cautions on Using Tailoring and One-Time DiDs...................................... 25 4.4 Tailoring Recommendations.............................................. 26 4.4.1 Formatting Tailoring Recommendations.................................... 26 4.4.2 Archiving Tailoring Decisions............................................ 26 5.0 DATA ITEM DESCRIPTION TAILORING INSTRUCTIONS............................................. 27 5.1 Data Item Description Format...................................................... 27 5.2 General Tailoring Instructions..................................................... 27 5.2.1 Tailoring to Allow NCSC-Approved Documentation.................. 28 5.2.2 Subjective Index......................................................... 28 5.2.3 Referencing.............................................................. 28 5.3 Specific Tailoring Instructions.................................................... 28 5.3.1 Security Features User's Guide (SFUG).............. 28 5.3.2 Trusted Facility Manual (TFM)...................... 29 5.3.3 Philosophy of Protection Report.................... 29 5.3.4 Informal Security Policy Model..................... 29 5.3.5 Formal Security Policy Model...................... 29 5.3.6 Descriptive Top-Level Specification (DTLS)............ 30 5.3.7 Formal Top-Level Specification (FTLS)............... 30 5.3.8 Design Specification............................. 31 5.3.9 Trusted Computing Base (TCB) Verification Report...... 31... 5.3.10 Covert Channel Analysis Report.................... 31 5.3.11 Trusted Computing Base Configuration Management Plan . 32........... 5.3.12TestDocumentation............................................. 32 5.3.12.1 Security Test Plan....................... 32 5.3.12.2 Test Procedures........................ 33 5.3.12.3 Test/investigation Reports................. 33 5.3.13 Summary of Specific Tailoring Instructions............ 34 APPENDIX A - SAMPLE CDRLs FOR EACH CLASS..................................... A-1 SAMPLE SECURITY FEATURES USER'S GUIDE CDRLs........................... A-3 SAMPLE TRUSTED FACILITY MANUAL CDRLs.................................. A-6 SAMPLE PHILOSOPHY OF PROTECTION REPORT CDRL........................... A-1 1 SAMPLE INFORMAL SECURITY POLICY MODEL CDRL............................ A-12 SAMPLE FORMAL SECURITY POLICY MODEL CDRLs... A-13 SAMPLE DESCRIPTIVE TOP-LEVEL SPECIFICATION CDRLs...................... A-1 5 SAMPLE FORMAL TOP-LEVEL SPECIFICATION CDRL... A-1 8 SAMPLE DESIGN SPECIFICATION CDRLs.................. A-19 SAMPLE TCB VERIFICATION REPORT CDRLs.................................. A-24 SAMPLE COVERT CHANNEL ANALYSIS REPORT CDRLs........................... A-26 SAMPLE TCB CONFIGURATION MANAGEMENT PLAN CDRLs........................ A-29 SAMPLE SECURITY TEST PLAN CDRLs.................... A-31 SAMPLE TEST PROCEDURE CDRL............................................ A-36 SAMPLE TEST/INSPECTION REPORTS CDRL................................... A-37 APPENDIX B - SECURITY DiDs.................................... B-1 SECURITY FEATURES USER'S GUIDE.............................. DI-MCCR-81349 B-3 TRUSTED FACILITY MANUAL....................... DI-TMSS-81352 B-7 PHILOSOPHY OF PROTECTION REPORT........DI-MISC-81348................ B-13 INFORMAL SECURITY POLICY MODEL.............................. DI-MISC-81341................ B-1 7 FORMAL SECURITY POLICY MODEL................................ DI-MISC-81346................ B-21 DESCRIPTIVE TOP-LEVEL SPECIFICATION.........................DI-MISC-81342.. . B-27 FORMAL TOP-LEVEL SPECIFICATION.............................. DI-MISC-81347... B-31.. DESIGN SPECIFICATION.............................DI-MISC-81344... B-35.. TRUSTED COMPUTING BASE VERIFICATION REPORT.............................DI-MISC-81350... B-39.. TRUSTED COMPUTING BASE CONFIGURATION MANAGEMENT PLAN.............................................DI-CMAN-81343. . B-43 COVERT CHANNEL ANALYSIS REPORT.......DI-MISC-81345... B-47 SECURITY TEST PLAN.................. DI-NDTI-81351... B-51 TEST PROCEDURE....................... DI-NDTI-80603... B-55 TEST/INSPECTION REPORTS............... DI-NDTI-80809A. . B-59 APPENDIX C - REFERENCES................................... C-1 APPENDIX D - GLOSSARY..................................... D-1 APPENDIX E - ACRONYMS..................................... E-1 LIST OF TABLES Table 1. Documentation Requirements by TCSEC Class............... 8 Table 2. Summary of DID Subsections to be Deleted for Each Security Document....................................... 35 LIST OF FIGURES Figure 1. Security Documentation Correspondence................... 12 Figure 2. Test Documentation Correspondence....................... 13 Figure 3. Contract Data Requirements List Form (DD Form 1423-1)... 16 PREFACE This guideline is intended to be used by Federal Agencies to facilitate the definition of computer security deliverables required in the acquisition of trusted products. This guideline is Volume 3 of a 4-volume series of Automated Information System (AIS) procurement guidelines produced by the National Computer Security Center (NCSC). The complete set of documents is intended to help clarify the complex issues associated with the acquisition process relevant to computers, security, and contracting by explaining to procurement initiators specification and Statement of Work (SOW) procedures to follow for including computer security requirements in procurements. Volume 1, An Introduction to Procurement Initiators on Computer Security Requirements, provides guidance to promote the understanding of requirements and guide the acquisition of secure products within the DoD. Volume 2, Language for RFP Specifications and Statements of Work - An Aid to Procurement Initiators, provides SOW contract language for the specification of Evaluated Products List (EPL) commercial products or their equivalents. Volume 4, How to Evaluate a Bidder's Proposal Document - An Aid to Procurement Initiators and Contractors, provides specific. guidance for a procurement initiator in writing a Request for Proposal for computer security systems. The material contained herein as Volume 3 specifies the data deliverables to meet security assurance needs by providing guidance on Contract Data Requirements Lists (CDRLS) and their associated Data Item Descriptions (DiDs). vii 1.0 GENERAL INFORMATION 1.1 Purpose and Scope This guideline explains Contract Data Requirements Lists (CDRLS) and Data item Descriptions (DIDS) and their use in the acquisition process, specifically the acquisition of data that supports trusted products. The guideline provides instructions that may be used in tailoring DIDs to comply with the various levels of trust specified by Department of Defense, (DoD) 5200.28-STD, Department of Defense Trusted Computer System Evaluation Criteria (TCSEC). Sample CDRLs are provided in Appendix A, and the actual security DIDs are included in Appendix B. This guideline is intended for use by DoD procurement initiators when considering the acquisition of trusted computer products. The emphasis of the guideline is on the data requirements for products. Many trusted data requirements dictate the documentation required for integration, testing, assurance, certification, and accreditation. Additionally, there are numerous documentation requirements for general software (e.g., Defense System Software Development, Military Standard (MIL-STD)-2167A). This guideline addresses only the data requirements that are specifically required by the TCSEC. Finally, this guideline is geared toward the data requirements involved in the acquisition of Evaluated Products List (EPL) Commercial Off-the-Shelf (COTS) packages. However, the data requirements are the same whether the product is on the EPL or not. Therefore, this guideline is applicable to the data requirements for any acquisition in which security is a factor. The following limitations should be noted when using this guideline: The procurement initiator is responsible under Enclosure 4 of Department of Defense Directive (DODD) 5200.28 for assessing the minimum Automated Information System (AIS) computer-based security requirements for the mission profile being acquired. The result of this assessment is a TCSEC Class that is to be used to index into the appropriate sections of this guideline. It is not sufficient only to quote a TCSEC Class in Requests for Proposal (RFPS) -- all of the individual requirements must be included in the RFP. This is not a complete acquisition guideline; it is a guideline to procure only security-related documentation. Only the requirements of the CDRL and DID sections of an RFP are addressed in this guideline. This document is not a revision or interpretation of the TCSEC; it is a reformatting and reordering into a form suitable for DIDs and the use of these DiDs. There is no intent to change the TCSEC or any vendorspecific interpretations of the TCSEC in this document. This guideline will facilitate the acquisition and proliferation of products on the EPL. The guideline is intended to enable the procurement initiator to obtain security documentation for those EPL products that are available and have documentation. COMPUTER SECURITY CDRL AND DID TUTORIAL If a product is evaluated as meeting a TCSEC class, then its evaluation and evaluation documentation remains valid (i.e., nothing in this guideline is to be interpreted as invalidating an EPL evaluation). However, since products not yet on the EPL may also be used to satisfy an acquisition, the cost advantage of having completed the EPL evaluation documentation provides an incentive for industry to submit products for evaluation. Once evaluated and on the EPL, the products can be proposed at a lower risk and cost in meeting government requirements at certain levels and, depending on the product, without modification. This approach provides a competitive advantage to those companies that expend the effort to obtain product evaluation on the EPL with the associated evaluation documentation, and provides a cost savings to the government. 1.2 Background The CDRLs and DiDs play an important part in the acquisition of a product and its documentation. They are the vehicle by which the government is able to procure the necessary documentation to verify the design and implementation, and to use the product operationally. The acquisition process (as defined in DODD 5000.1) is a directed, funded effort that is designed to provide a new or improved capability in response to a validated need. The directive establishes a disciplined approach for translating operational needs into a stable, affordable program. For the purposes of this guideline, the most important process in acquiring documentation for trusted products is the definition of the documentation required. This is done in the RFP, which is the most widely used document for acquisitions. The key components of the RFP package are description/specification; special contract requirements; list of documents, exhibits, and other attachments; and instructions, conditions, and notices to offerors. The description/specification section of an RFP describes the mandatory technical and performance requirements to the contractor. It contains a Statement of Work (SOW) that identifies the specific tasks the contractor will perform during the contract period as well as the specification containing the definition/@requirements of the acquisition. (This definition of the entity being acquired becomes the target for the security documentation.) The SOW also provides the opportunity to require delivery of information or specific data. This is done by referencing the appropriate CDRL number in the SOW paragraph. The information or specific data are a byproduct of the actual SOW task. Thus, each SOW task normally refers to one or more CDRL items. The data referenced by the CDRL could be a list, plan, manual, computer-produced file or program, or a report. The CDRL identifies the data that the contractor is required to prepare and deliver as part of the contract. The CDRL is also the vehicle by which data delivery dates are established, as well as providing delivery instructions and any other special requirements (e.g., number of copies). Each CDRL refers, in turn, to one DID. The DID should be referred to by the latest revision number and the name. The DID specifies the actual content and format of the deliverable data, and therefore it drives the effort required to prepare the data item. In most acquisitions, the government reviews the documentation delivered with the product or service and uses it to assess whether all contractual requirements have been satisfied. Currently, about 2,000 standard approved DIDs exist. These DIDs were created by 2 GENERALINFORMATION various DoD offices, forwarded through channels to the DoD Data Administrator, and subsequently approved for general use in contracts. The DoD guide to the available DIDs is published semiannually as the Acquisition Management Systems and Data Requirements Control List (AMSDL). The AMSDL lists all standard DiDs in three different sequences: numerical, keyword (indexed), and functional area program category. It also provides a list of superseded and deleted DIDS. The DID numbers on the AMSDL are frequently changing when new DiDs supersede other DIDS. Less frequently, DID names change. It is a good habit to use both the DID number and name whenever referring to a DID. The DiDs needed for security-relevant documentation are very specific in nature. Only recently has the AMSDL listed all the DiDs required to satisfy TCSEC requirements for documentation. We have included these DIDs in Appendix B of this guideline for the reader's convenience. The special contract requirements section of the RFP contains clauses that are unique and specially tailored for each acquisition. The attachments section contains a list of all documents, exhibits, attachments, and other forms used to build and execute the RFP. There are usually a series of attachments, each one dedicated to a list of specific items. For example, the CDRLs would be one attachment. The actual exhibits and attachments, including the CDRLs and DIDS, are physically appended to the end of the RFP. Finally, the instructions section of the solicitation contains the instructions, conditions, and notices to offerors of the acquisition, covering such areas as proposal format, oral presentations, and the proposal preparation instructions. 1.3 Structure of the Guideline The remainder of this guideline has four sections and five appendixes. Section 2, "Security Documentation," introduces the TCSEC requirements for documentation, the documentation that will typically be available with COTS products, and the role and placement of security documentation in the life cycle of a program. Section 3, "Contract Data Requirements List Issues," introduces a CDRL, with an explanation of each block on the CDRL. Section 4, "Data Item Description Modification," presents an introduction to DiDs and general guidelines on the tailoring of DIDS. Section 5, "Data Item Description Tailoring Instructions," describes the format of DIDs and provides both general and specific guidelines on the tailoring of the security DIDS. Appendix A contains sample CDRLs for each relevant TCSEC class of each security document. These CDRLs can be used by the procurement initiator as sample CDRLs to include in an RFP. The italicized data should be replaced with project information. The blocks on the sample CDRLs that have been left blank should be filled in with the appropriate information for a specific RFP. Section 3 provides the guidance for completing these blocks, as well as a description of all of the blocks on the CDRL. Block 16 of the sample CDRLs is especially noteworthy because it contains all pertinent data item information not specified elsewhere on the form and any required amplifications of other block inputs. This block can be used as shown in the sample. 3 COMPUTER SECURITY CDRL AND DID TUTORIAL Appendix B contains 14 AMSDL approved Security DIDs that describe all of the documentation required by the TCSEC. Each DID can be included in an RFP with a corresponding CDRL to tailor the DID for the specific RFP. Appendixes C, D, and E contain the References, Glossary, and Acronyms, respectively. These appendixes provide a common understanding of the terms and references used in this guideline. 4 2.0 SECURITY DOCUMENTATION 2.1 TCSEC Documentation Requirements The Trusted Computer System Evaluation Criteria (TCSEC) requirements for documentation allow the government to ensure that the design of the Trusted Computing Base (TCB) is such that the defined security policy will be enforced. The security policy is defined by applicable laws, regulations, and directives. Additionally, this documentation provides the guidance for the user and the administrator to securely operate the product. The security documentation requirements in the TCSEC are defined for each class. As with the functional requirements for trusted products, the documentation requirements for the most part are cumulative. This means that generally the documentation requirements at the lower class levels are usually also required at the upper class levels, with additional requirements added at the upper class levels. This is not always true for a specific document. The level of classification of all of these security documents is determined by the classification of the processing and information being described. Naturally, if the source code or design that is described in the security documentation is classified, then the documents describing this source code or design in detail will also be classified. At times, no single portion of the source code is classified, but the combination of all the source code is classified. If this is the case, then the combination of all of the detailed documentation would be classified. Documentation required by the TCSEC falls into three high-level categories: Operational Manuals, Design Documentation, and Assurance Documentation. The descriptions below for each of these three categories discuss the general contents of the documents included in the category. 2.1.1 Operational Manuals The Operational Manuals include the Security Features User's Guide (SFUG) and the Trusted Facility Manual (TFM). The SFUG identifies techniques for making effective use of the security features. It provides the necessary information to understand and use the Discretionary and Mandatory Access Control mechanisms that protect information processed or stored. The TFM explains the roles of the Security Administrator, System Administrator, and System Operator in establishing, operating, and maintaining a secure environment. It describes the procedures for selecting security options to ensure that the operational requirements will be met in a secure manner. The level of detail of the TFM spans the gap between the user-oriented SFUG and the security engineer-oriented design documentation. 2.1.2 Design Documentation The design documentation includes the Philosophy of Protection Report, the Informal and Formal Security Policy Models, the Descriptive Top-Level Specification (DTLS), the Formal Top-Level Specification (FTLS), the Design Specification, and the TCB Verification Report. 5 17 COMPUTER SECURITY CDRL AND DID TUTORIAL The Philosophy of Protection Report provides a description of the security policy for the product. It also contains the overall high-level design of a TCB, delineating each of the protection mechanisms employed to enforce the policy. An informal security policy model is an abstract representation of a TCB and the security policy enforced by the TCB. The Informal Security Policy Model document contains the informal security policy model, its associated convincing assurance arguments, and supporting explanations and documentation for both the model and assurance arguments. The model consists of two segments: (1) an informal description of the policy that is to be enforced by the TCB, and (2) an informal description of the abstract protection mechanism(s) within the TCB, which enforce the described policy. The model includes the representation of the initial state of the TCB; the representation of subjects, objects, modes of access, and security labels; the set of security properties enforced by the TCB; and the representations of the operations performed. A formal security policy model is a mathematically precise abstract representation of a security policy and the abstract protection mechanisms that enforce the policy. To be acceptable as a basis for a TCB, the model must be supported by formal proof. The Formal Security Policy Model document contains the formal security policy model, its associated proofs, and the surrounding explanations and documentation for both the model and proofs. The model contained in the Formal Security Policy Model document consists of two segments: (1) the mathematical representation of the policy, and (2) the mathematical representation of the abstract protection mechanism(s) within the TCB. The DTLS is a top-level specification using English language descriptions. It completely and accurately describes the TCB in terms of exceptions, error messages, and effects. The DTLS is an accurate description of the TCB interface. It describes the security capabilities in functional terms and concepts, and therefore takes the broad form of a "security features functional description." The DTLS is traceable to the formal security policy model. The FTLS is a mathematically precise abstract representation of the TCB. The TCSEC requires that the FTLS provide an accurate description of the TCB interface; describe the TCB in terms of exceptions, error messages, and effects; and include hardware or firmware elements if their properties are visible at the TCB interface. The FTLS document contains the Formal Top-Level Specification, its associated proofs and assurance arguments, and supporting explanations and documentation for the specification, proofs, and assurance arguments. The Design Specification demonstrates that correct implementation and enforcement of the security policy exists in the TCB. It explains the protection mechanisms of the TCB to the extent that the effect of a change on the TCB can be evaluated prior to a change being performed. The Design Specification contains enough information so that it may serve as a guide to understanding the implementation of the TCB. At the TCB Class B3 level, the TCB Verification Report provides the correspondence between the DTLS and the implementing source code to demonstrate that the TCB has been correctly and accurately implemented. At the TCB Class Al level, the FTLS is mapped to the source code to demonstrate that the FTLS has been accurately implemented in the selected programming language (and hardware). 6 SECURITY DOCUMENTATION 2.1.3 Assurance Documentation The third category of documentation is the assurance documentation. This includes the Covert Channel Analysis (CCA) Report, the TCB Configuration Management (CM) Plan, and security test documents (Plan, Procedures, and Report). The CCA Report is a description of the analysis of covert channels. Covert channels can be used to circumvent the access control features built into a TCB. There are two different types of malicious covert channels: storage channels and timing channels. These channels present opportunities to maliciously exploit characteristics of the TCB, or operating system-provided functions. By doing so, information can bypass mandatory access controls. The exploitation of covert channels causes unintentional side effects and unavoidably visible system calls/acknowledgments. For TCB classes B2, B3, and Al, covert channels must be identified, removed if possible, and their activity audited. The TCB CM Plan details the configuration management procedures for a TCB. It addresses hardware, firmware, software, testing, and documentation. The TCB CM Plan indicates how the security requirements baseline will be maintained. It provides assurance that the security protections are safe from the introduction of improper hardware, firmware, and software during the developmental and operational life of the system. Finally, it describes the configuration control process, configuration management procedures, and review and approval procedures for changes to the security design implementation of the TCB. The security test documentation consists of three documents, the Security Test Plan, Security Test Procedures, and the Security Test Report. The Security Test Plan provides the strategy to test the security mechanisms of the TCB. It also documents in detail the plan for conducting security tests (e.g., what security features will be tested, why they will be tested, and how they will be tested). Essentially, the Security Test Plan explains how the test results will be analyzed to show that the TCB will satisfy the security requirements. The Security Test Procedures identify the step-by-step testing operations to be performed in sufficient detail to permit total duplication of the test program. The document identifies the items to be tested, the test equipment and support required, the test conditions to be imposed, the parameters to be measured, and the pass/fail criteria against which the test results will be measured. Finally, the Security Test Report describes the tests performed, discusses the test analyses, and provides the results of the tests. The report includes all recorded test data or logs. 2.1.4 Documentation Presentation The documentation requirements discussed in this subsection deal only with the TCSEC requirements for the documentation of a TCB. It does not deal with other documentation that should be written when following sound software engineering practices (e.g., MIL-STD-2167A documentation). Some of the TCSEC documentation, especially the security design and configuration management documentation, may seem redundant to the general software documentation. However, the security design and configuration management documentation has a specific purpose and should not be neglected. Depending on the program, it may make sense to incorporate the security design and configuration management documentation into the general documentation. This Is a decision to be made by program personnel prior to release of the RFP. The security design and 7 COMPUTER SECURITY CDRL AND DID TUTORIAL configuration management DIDs (included as Appendix B) can be tailored as standalone documents, brief documents with pointers to the standard design/configuration management documentation, or completely subsumed documents within the standard design/configuration management documentation. Table 1. Documentation Requirements by TCSEC Class documentation TCSEC CLASS C2 B1 B2 B3 A1 Security Features user's guide x x x x x Trusted Facility Manual x x x x x Philosophy of Protection x x x x x Informal Security Policy Model y Formal security policy model y x x x Descriptive top-level specification x x x Formal Top-level specification x x x design specification x x x x x TCB Verification Report x x Convert channel analysis report x x x TCB configuation management plan x x x Security test plan x x x x x Test procedure x x x x x Test/inspection reports x x x x x X= Required at the TCSEC Class Y = For TCSEC Class Bl, either an informal or a formal security policy model is required Table 1 cross references the security documentation described above to the TCSEC classes. An "X" indicates the class at which the TCSEC contains a requirement for the documentation. For those documents which are required at multiple classes, the specific requirements for the document change at each of the higher classes. As reflected in Table 1, the required class for all of the security documentation (except the informal and formal security policy model) is explicitly defined in the TCSEC. The TCSEC requires either an informal or a formal security policy model at TCSEC Class Bl. The determination of which security policy model 8 COMPUTER SECURITY CDRL AND DID TUTORIAL COTS product documentation can be a detailed description of the product. The DIDs for Commercial Off-the-Shelf (COTS) Manuals, DI-TMSS-80527, and Supplemental Data for Commercial Off-the-shelf (COTS) Manuals, DI-TMSS-80528, should be addressed when requiring COTS documentation. Whatever method is used to request the COTS documentation, the documentation will be geared toward the generic design and use of the product. If the product must be modified or extended for a program, the COTS documentation for the product will not include these modifications and extensions, unless the modifications are performed by the vendor and the updated documentation is purchased during the acquisition. 2.3 Security Documentation in a Program Life Cycle The role of security documentation in the procurement process and life cycle of a program is to provide a basis for trusting the hardware, firmware, and software mechanisms. This basis for trust must be clearly documented such that it is possible to independently examine the evidence to evaluate the sufficiency of the security mechanism(s). The preparation of security documentation demands an engineering discipline be imposed on the development of the software. The use of a strict engineering discipline during development further contributes toward a more consistent implementation of the TCB. - A result of this strict engineering discipline permeates the program, not just the TCB implementation. The TCSEC describes the type of written evidence in the form of operational manuals and design and assurance documentation required for each class. During the procurement process, the required documentation must be explicitly defined. During the implementation process, this documentation must be developed, reviewed, and inspected to prove the ability of the security mechanisms to enforce the security policy. During the operational phase, the operational manuals for users and administrators are used to apply the provided security mechanisms. During any maintenance phase, the documentation is used to determine what effect a change may have on security. This evaluation must be accomplished prior to a change being performed. Finally, during the implementation, operational, and maintenance phases, configuration control verifies that only approved changes are included in the trusted product. Security documentation is a subset of the software and hardware documentation required for a TCB. There are numerous documentation approaches and standards (e.g., MIL-STD-2167A) used today with their associated documentation requirements. The security documentation defined in this guideline is to be used in addition to the standard software and hardware documentation (e.g., Software Requirements Specifications, Software Design Documents, Interface Design Documents, or Software Test Plans). Security documentation is not a replacement for this standard documentation, nor is standard documentation a replacement for security documentation. The security documentation defined in this guideline can fit very easily into the timeline defined by MIL-STD-2167A. Figure 1 illustrates the security documentation along with interdependencies and relative delivery schedules. The reviews on the timeline are the MIL-STD-2167A reviews. Each of the documents can be acquired, along with the standard software and hardware documentation, within the standard MIL-STD-2167A review cycle. Several iterations may be required before some security documents may be finalized. Additionally, although all of the 10 SECURITY DOCUMENTATION lines in Figure 1 point downward, it may be necessary in any acquisition to change documents and models to reflect the actual implementation. As changes are made in a program for a multitude of reasons, the earlier documents may require revision. For simplification, no feedback mechanism is reflected in the figure. Figure 2 relates the test documentation to other security documentation. The dotted box containing "Risk Assessment" indicates a process that is not performed by the developer/integrator team. The risk assessment process identifies some acquisition-specific security requirements that need to be included in the System Specification. Additionally, the risk assessment process enumerates the specific system vulnerabilities that are used to develop the Security Test Plan. 3.0 CONTRACT DATA REQUIREMENTS LIST ISSUES 3.1 What Is a Contract Data Requirements List? A CDRL (DD Form 1423-1) delineates the data delivery requirements for data acquisitions resulting from a contractual task. It is used to specify the data to be delivered during a contract, the schedule for that delivery, and the form in which that delivery must be made. The CDRL designates the DID that will be used to define documentation and specifies any tailoring instructions for the DID. Figure 3 displays DD Form 1423-1. 3.2 Contract Data Requirements List Format The CDRL form itself consists of 26 blocks. These blocks are expanded in accordance with DI-A-23434C, which is the DID for "List, Contract Data Requirements" (DD Form 1423-1). The information needed to request data is included in these blocks. They include: Block 1 - Sequence Number Block 2 - Title or Description of Data Block 3 - Subtitle Block 4 - Authority (Data Item (or DID) Number) Block 5 - Contract Reference Block 6 - Technical Office Block 7 - DD Form 250 Requirement Block 8 - Approval (APP) Code Block 9 - Input to Integrating Associated Contractor (IAC) Block 1 0 - Frequency Block 1 1 - As of Date Block 12 - Date for First Submission Block 13 - Date of Subsequent Submission/Event Identification Block 14 - Distribution and Addressees Block 15 - Total Block 16 - Remarks Block 17-26 - Not Contractual Information A few of these blocks are critical in amplifying the delivery requirements of data. Block 16 is the most critical in that it is used to tailor the requirements of the DID to best suit the specific acquisition. Blocks 10 through 13 are also critical in defining the delivery schedule for the data. The following subsections describe the general instructions and information needed to complete each block on the CDRL. Appendix A contains sample CDRLs for each TCSEC class, as appropriate. These sample CDRLs can be used for any acquisition by completing the blocks left blank and replacing the italicized information. 3.2.1 Block 1: Sequence Number Block 1 contains the sequence number for the data item. The practice usually adhered to is to start with "AOO1, A002........If separate groups of data items are required (e.g., over two fiscal periods or option periods), using "AOOX" for one group (where "X" is used as a place holder and will have to be replaced with an appropriate number) and "BOOX" for the second group is helpful. 15 CONTRACT DATA REQUIREMENTS LIST ISSUES 3.2.2 Block 2: Title or Description of Data Block 2 contains the exact title as it appears on the DID. For the security documentation contained in the sample CDRLs in Appendix A, the exact title of the DID is the title of the data item being acquired, except for the Test Procedures and Test Report. These two DIDs are generic; therefore, they are not specifically written for security test documentation. 3.2.3 Block 3: Subtitle Block 3 contains the title of the data item if it differs from the title of the DID or requires further information. In Appendix A, the CDRLs for the Security Test Procedures and Security Test Report require further amplification as indicated in those CDRLS. 3.2.4 Block 4: Authority (Data Item (or DID) Number) Block 4 contains the DID identification number including the revision letter and date from DD Form 1664 block 2. These are the instructions in DI-A-23434C. It is not ordinary practice to include the date in this block of the CDRL. 3.2.5 Block 5: Contract Reference Block 5 contains the specific location of the contractual effort in the procurement instrument that will generate the requirement for the data item. For the purposes of this guideline, the procurement instrument is the RFP and, specifically, the SOW (Section C of the RFP). The specific SOW paragraph (C.X, where X is a place holder which will have to be replaced with the appropriate number) should be cited in this block. (See Volume 2, pg. 1 1, of this Procurement Guideline series for more details.) 3.2.6 Block 6: Technical Office Block 6 contains the office responsible for determining the technical adequacy of the data. This may be the accepting, requiring, using, or inspecting offices depending on the type of data and decisions made relative to quality assurance responsibilities. It is the responsibility of the procurement initiator to identify this office and include it in this block. 3.2.7 Block 7: DD Form 250 Requirement Block 7 contains the designated location for performance of government inspection and acceptance. The acceptance indicated in this block is not the same as the approval of a document indicated in block 8. This block has been left blank in the sample CDRLs in Appendix A. However, in actual CDRLS, a blank in this block indicates that the inspection and acceptance location is specified in Block 16. If this is not true for the specific acquisition, the block should indicate the location for the inspection and acceptance. 17 COMPUTER SECURITY CDRL AND DID TUTORIAL 3.2.8 Block 8: Approval (APP) Code Block 8 contains the appropriate approval for the document. An "A" indicates that advance written approval is required prior to either initial preparation or final acceptance of the document by the government, or prior to publication and distribution of the final version of the document to addressees in Block 14. Clarification of approval will be defined in Block 16. Also, if a preliminary draft is required, indication will be cited in Block 16 with the identification of which addressees will receive the review copies. When control of distribution by addressees listed in Block 14 to secondary addressees is required, the following code will be used: a "D" will be used to indicate that a distribution statement is required, or, an "N" will indicate that a distribution statement is not required. An "A" code may be combined with a "D" code, for "AD", to indicate that both approval and a distribution statement are required. An "A" code may be combined with an "N" code, for "AN", to indicate that approval is required, but a distribution statement is not required. This block has been left blank in the sample CDRLs in Appendix A. It is the responsibility of the procurement Initiator to identify the appropriate Information for this block in the specific acquisition. 3.2.9 Block 9: Input to Integrating Associated Contractor (IAC) If data are dependent upon the integrated result of specific inputs from other participating contractors or data are input to an IAC, Block 9 contains an "X". In all other cases, the block should remain blank. This block Is used if the government must provide input to a contractor so that the contractor can produce a document. For the data described in this guideline, this block will be left blank in most cases. This block is blank in the sample CDRLs in Appendix A. 3.2.10 Block 10: Frequency Block 10 contains a frequency code for the data. In Appendix A, all of the CDRLs indicate "OTIME" (One Time) submission since all of these documents should be produced once for each release, phase, or version of a TCB in a single contract. If multiple releases, phases, or versions of the TCB exist in the acquisition plan, then multiple CDRLs using the same DID should be generated: one for each release, phase, or version. Additionally, there may be multiple drafts and a final version of the document, but the schedule and number of drafts and final are indicated in Block 16. A frequent error in the content of this block is "ASREQ" (As Required) without amplification in Block 16. There is no way that a contractor can determine the cost of an "As Required" document during the proposal writing phase of a procurement. Therefore, in a proposal the contractor must assume "not required" for the frequency of delivery of documents with the "ASREQ" frequency. The result of this assumption is that the contractor will not include the cost of draft and final versions of a document in the price. Additionally, the government would not have the opportunity to conduct the draft and review cycle, which is beneficial to a complete document. The contractor may indicate that the draft and review cycle is to be done either as an option or through a task order, with the resulting additional cost to the contract. Therefore, It is always best to be explicit in stating the 18 CONTRACT DATA REQUIREMENTS LIST ISSUES exact number of drafts that will be required for any data procured. This explicit definition does not belong in Block 10, but rather in Block 16. 3.2.11 Block 1 1: As of Date Block 1 1 contains the date that the data will be received by the requiring off ice. If the data are constrained by a specific event or milestone, enter this constraint. If the data are submitted only once, enter the "as of" date (cutoff date). This block has been left blank in the sample CDRLs in Appendix A. The milestones in Figure 1 should be used to constrain the data. Blocks 13 or 16 should be used for further explanation of the date in Block 1 1. 3.2.12 Block 12: Date for First Submission Block 12 contains the date for initial data to be submitted to the government. If the first delivery is predicated on conditions, such as an event, enter "See Block 16" and state the conditions in Block 16. A table of codes shown in DI-A-23434C can be used for this block. However, this table does not include codes for any of the reviews currently used in the life cycle of an acquisition. Further, this table and all of the instructions for delivery dates in DI-A-23434C do not make provisions for the draft delivery, government comment, and final delivery cycle, which is most common and useful for security documentation. All of the sample CDRLs in Appendix A have "See Block 16" in Block 12 because the first submission of all security documentation is predicated on an event, or a review. The documentation should be delivered prior to the review date. Again, the actual calendar date to which this event correlates should never be before the actual calendar date from Block 1 1. The CDRLs in Appendix A use a review strategy of receiving draft documents 30 days before a milestone, government comments 45 days after receipt of draft, and final delivery 60 days after receipt of government comments. The number of days i.e., 30 and 45) In this strategy has been arbitrarily defined for this guide line. These numbers should be modified to reflect the standard for the program office for a specific acquisition. The sample CDRLs in Appendix A include formal reviews as the events that trigger the delivery of the security documentation. It is strongly encouraged that at least a variation of the review cycle be used for any acquisition. If, however, formal reviews are not planned for the program, then other events may be used that trigger the necessity for the documentation. An example is that the TFM and SFUG are needed before training can begin. Therefore, it is not an unreasonable solution to require the delivery of these documents in draft form at a certain number of days prior to training for government review, and then the final version of the document to be delivered during training. However, to request all of the security documentation at a single milestone in the program (when some of the documentation is dependent on other portions of the total set of security documentation), or to require all documentation to be delivered for the first time when the accreditation will begin, is counterproductive to the success of the program. This does not allow the contractor to develop the security documentation with the dependencies indicated in Figure 1, nor does it 19 COMPUTER SECURITY CDRL AND DID TUTORIAL allow the government to review the work in progress and, if necessary, redirect the effort. 3.2.13 Block 13: Date of Subsequent Submission/Event Identification Block 13 contains the date on which subsequent submissions of the data should be made. If the subsequent submissions are keyed to an event, "See Block 16" should be entered. All of the sample CDRLs in Appendix A have "See Block 16" in Block 13 because subsequent submissions are predicated on an event, or a review, or the contractor receipt of government comments. The date of any subsequent submissions should never be prior to the date of the first submission. The discussion on the events, which trigger the first submission of data (block 12) contained in the preceding subsection, applies to this block also. Blocks 12 and 13 should be consistent in their approaches. For example, if formal reviews are used in Block 12, formal reviews should also be used in Block 13. If, on the other hand, another type of event (e.g., start of training) is used in Block 12, that type of event should also be used in Block 13. This will help to avoid the problem of delivering subsequent submissions (Block 13) prior to the first submission (Block 12) 3.2.14 Block 14: Distribution and Addressees Block 14 contains the code of addressees and the number of copies (regular and reproducible) to be sent to each addressee. Regular copies required should be indicated to the left of a slash mark and reproducible copies to the right (i.e., DDC 20/0). The type of the reproducible copies should be explained in Block 16. Regular copies are clean copies, and reproducible copies are copies on some reproducible medium (e.g., vellum, negatives). Since reproducible copies incur an additional cost to create (e.g., cost of the medium plus the cost of making the copy), this form of delivery should be limited to only those parties having a legitimate need for the item. The first addressee shown should be the acceptance activity, if acceptance by DD Form 250 is to be accomplished at the destination. This block may be continued in Block 16. Documents are usually delivered via removable media, electronic connection, or hardcopy. Any other delivery instructions which are appropriate for the specific acquisition may be included in Block 16 of the CDRL. The Formal Top-Level Specification and the TCB Verification Report, unlike the other documents developed from the DiDs included in this tutorial, may consist of computer listings as opposed to text documentation. The CDRLs for these two documents should permit computer-readable media, the listings for which would be voluminous. 3.2.15 Block 15: Total Block 15 contains the total number of regular and/or reproducible copies. This number may be obtained by adding all of the insertions in Block 14. Regular copies should be indicated to the left of the slash mark and reproducible copies to the right. 20 CONTRACT DATA REQUIREMENTS LIST ISSUES 3.2-16 Block 16: Remarks Block 16 contains all pertinent data item information not specified elsewhere on the form and any required amplification of other block inputs. Always enter the identification, "Block of the DD Form 1423-1 being addressed before each informational sentence(s). Block 16 is also used to tailor the DID specified in the CDRL. Section 5 of this guideline discusses the specific tailoring instructions for each of the security DIDS. 3.2.17 Blocks 17 through 26 Blocks 17 through 26 do not cite contractual information but are used in negotiating and preparing the contract (not within the scope of this guideline). 21 AM 4.0 DATA ITEM DESCRIPTION MODIFICATION 4.1 What Is a Data item Description? A DID (DD Form 1664) delineates the data preparation instructions necessary to formulate a document. It is used to define the data required of a contractor, including the data content, preparation instructions, format, and intended use. DIDs are structured to facilitate the tailoring (deletion) of requirements not applicable to a specific acquisition. Cautions on the use of tailoring are included in subsection 4.3. The AMSDL identifies all source documents and related DiDs approved for use in defense contracts. These DIDs are reviewed by a board before being included on the list. Once on the list, the DID is maintained by the originating component and the Office of Primary Responsibility (OPR). -These D[Ds are available for use by any government component. The DiDs included as Appendix B of this guideline are being listed in the AMSDL. Occasionally, a documentation requirement exists for which a DID is not available on the AMSDL. One-time DiDs may be developed in this case for a specific acquisition. Cautions on the use of one-time DiDs are included in subsection 4.3. One-time DIDs may only be published by appropriate authorized DoD offices. DIDs are used for various purposes during the life cycle of an acquisition. During the procurement process, a DID is used by the government to specify the deliverables that will be required during the contract. The contractor uses the DID to estimate the cost of the documentation delivery during contract performance. During contract performance, a DID is used by a contractor to guide documentation development for a contract. A DID must have enough explicit direction for the development of the documentation. If this is not the case, there is no guarantee that the documentation delivery will satisfy the requirements of the government. However, oversimplifying the requirements of the document in a DID may prohibit the use of existing documentation. Finally, a DID is used by the government to evaluate the completeness of documentation deliveries. It is the "ruler" that indicates what was supposed to be delivered, and, as such, it is used to determine whether the delivery has met the criteria of the DID. Using the DID, the government cannot evaluate the technical aspects of the deliverable, but is able to determine whether the document contains the correct types of information. 4.2 Tailoring Overview Tailoring is the process of evaluating individual potential requirements in a selected DID to determine their pertinence and cost-effectiveness for a specific system acquisition, and tailoring (deleting) those requirements to ensure that each contributes to an optimal balance between need and cost. DIDs must be structured to facilitate the tailoring (deletion) of requirements not applicable to a specific acquisition (see DoD-STD-963A: section 4.5-4). Thus, tailoring of DiDs involves deleting those requirements that are not needed. It is intended to eliminate 23 COMPUTER SECURITY CDRL AND DID TUTORIAL unnecessary and duplicative requirements, For DIDs on the AMSDL, requirements may be deleted or partially deleted, but not modified to add requirements to the DID. Tailoring should be performed during the acquisition process. As objectives and tasking change during that process, tailoring decisions for each contract will change accordingly. The tailoring for a given contract is an incremental activity. Draft tailoring prepared by the contracting agency will be refined based on inputs from the user and support personnel, potential bidders, and other interested parties. General tailoring guidance is provided in Military Handbook (MIL-HDBK)-248B, Military Handbook, Acquisition Streamlining. MIL-HDBK-248B is the basis for the tailoring guidance in this guideline. 4.2.1 Reasons for Tailoring Requirements that are not mandated by law or established DoD policy, and do not contribute to operational effectiveness and suitability or effective management of acquisition, operation, or support, should be excluded from an acquisition. Implementing policies in DoD organizations repeat and amplify this high-level statement. Therefore, the acquisition initiator should select and tailor technical requirements to acquire only those technical data essential to carrying out the acquisition strategy. Advantages that can be achieved through tailoring to specific requirements of an acquisition are the following: Avoid unneeded activities, controls, and practices. Eliminate duplicative requirements that may be invoked when multiple DIDs are on contract. Expedite performance of a project by avoiding unnecessary requirements. This may reduce the schedule and allow the delivery of products sooner. It is important to balance the tailoring decisions between near-term savings of cost and time and possible long-term adverse effects. Sample trade-offs made during the tailoring process are as follows: Eliminating requirements from user and administration documents can save time and money in the initial development, but may have severe negative effects on the long-term cost of using and supporting the program. Eliminating stages of testing can save time and money in the short term, but can result in reduced quality, and expensive and time-consuming rework if the product is delivered before it is ready. Reducing requirements from security analysis documentation can save time and money in the short term, but can result in loss of data and possibly a compromise if the product is not built securely. 24 DATA ITEM DESCRIPTION MODIFICATION Reducing requirements for configuration management can save time and money in the short term, but can result in expensive and time-consuming recovery procedures if the program loses track of hardware, firmware, software, and documentation versions. 4.2.2 Tailoring Responsibilities It is important for the government program manager to involve all key system acquisition participants in the tailoring process. These participants include: Technical staff in, and available to, the program office, such as software engineering, configuration management, security engineering, quality assurance, and test personnel. Contract Administration Service and contracting office personnel. User and support personnel. Development contractors. It is highly desirable to solicit potential contractor input early in the tailoring process. This may be done before the RFP, for a draft RFP, or for the final RFP. In a best value environment, contractors may also be permitted to propose tailoring in their proposal, their Best and Final Offer (BAFO), and during contract negotiations in order to refine cost and schedule impacts. This team approach has significant benefits. With each participant contributing specialized expertise, the government program manager can arrive at a sound, informed tailoring approach. However, it Is essential that the security support personnel review the tailoring decisions to ensure that specified requirements are met. The final decisions, subject to appropriate review, remain the responsibility of the government program manager. 4.3 Cautions on Using Tailoring and One-Time DiDs The two defined alternatives to using the standard AMSDL DIDs as they exist on the list are to tailor the DID for the specific operational environment and to develop one-time DIDs for the specific system. Tailoring of DIDS, using Block 16 of the CDRL 'is a very useful tool to procure only the documentation that is needed. However, tailoring can be overused. When a DID is tailored too much, security information that will be needed for certification, accreditation, or operational maintenance may be tailored out of the DID. If the security documentation that is needed during the entire life cycle is not complete, the cost of procuring the documentation at a later date may be prohibitive to the acquisition. On the other hand, each of the DiDs included with this guideline has the requirements for the full spectrum of TCSEC classes. If the program alms at a particular TCSEC class, then the higher TCSEC class requirements should be tailored out of the DID. Failure to tailor out the higher TCSEC class documentation requirements may provide a prohibitive cost to the program. COTS documentation will not likely provide the assurance for a higher level than the product has been evaluated. 25 COMPUTER SECURITY CDRL AND DID TUTORIAL One-time DIDs are useful to address specific operational or environmental requirements. However, a one-time DID can cause the data to be more expensive, especially if the DID is too specific. One-time DIDs should never specify the format that must be used for any documentation. The chances of any COTS documentation complying with a specific format of a one-time DID are remote. 4.4 Tailoring Recommendations There are general recommendations to be followed when using CDRLs to tailor security DIDS. The tailoring of formatting instructions can be useful and cost effective. However, the archiving of tailoring decisions protects decisions and avoids misunderstandings. 4.4.1 Formatting Tailoring Recommendations The DID for any data item describes the specific contents of a document. However, when COTS documentation is preferred, the format of the document should not be defined by the government. Whenever it is cost-effective, data should be acquired in the format specified by the contractor rather than that of the government to enable and encourage the delivery of COTS documentation. Much of the basic data are prepared by the contractor in connection with design, development, testing, and manufacturing of a COTS product. In such instances, the cost impact of a government contract requirement for COTS data becomes significant only if the COTS documentation must be reformatted or delivered to meet unrealistic schedules. 4.4.2 Archiving Tailoring Decisions The tailoring decisions made can be of use to responsible managers in the future and to other project managers who face similar tailoring decisions. A file should be established of the tailoring decisions, rationale for those decisions, and lessons learned as the project proceeds. This file will prevent future managers from inadvertently changing key decisions and will clarify the trade-offs and key considerations made in support of the tailoring decisions. This information should be available to all technical offices working on security. 26 5.0 DATA ITEM DESCRIPTION TAILORING INSTRUCTIONS 5.1 Data Item Description Format The DID form itself consists of 1 1 blocks. These blocks are expanded in accordance with DoD-STD-963A, Preparation of Military Standard, Data Item Descriptions. The information needed in the document is included in these blocks and shown in Appendix B. The blocks are: Block 1- Title Block 2- Identification Number Block 3- Description/Purpose Block 4- Approval Date Block 5- Office of Primary Responsibility (OPR) Block 6- Defense Technical Information Center (DTIC) Applicable and Government-Industry Data Exchange Program (GIDEP) Applicable Block 7- Application/Interrelationship Block 8- Approval Limitation Block 9- Applicable Forms and Acquisition Management Systems Control (AMSC) Number Block 10- Preparation Instructions Block 11- Distribution Statement The security DIDs included with this guideline, except the Test Procedure and Test/Inspection Reports, have a further breakdown to Block 10. [The Test Procedures and Test/inspection Reports DIDs are generic DIDs that have not been written explicitly for security documentation. They need to be tailored to delete extraneous requirements that are not related to security.] Block 10.1 contains the format of the delivered document, and 10.1.1 contains the specific formatting instructions. All subsequent subsections in Block 10 contain the technical content requirements for the specific document, with Block 10.2 containing the requirements for all TCSEC classes and subsequent subsections containing the different class level specific documentation content requirements. For CDRL, DID, and SOW correlation at each level of trust identified in the TCSEC, we refer the reader to pg. 4, Volume 2 of this Procurement Guideline series. 5.2 General Tailoring Instructions There are some general tailoring instructions that apply to the security DiDs included in Appendix B of this guideline. The following subsections discuss the use of tailoring to allow evaluation documentation reuse for an acquisition, the subjective index, and other document referencing in the security documentation. These instructions apply to all of the security DIDs in Appendix B except for the Test Procedures and Test/Inspection Reports DIDS. The Test Procedures and Test/Inspection Reports DIDs are generic DIDs that can be easily applied for security documentation. 27 COMPUTER SECURITY CDRL AND DID TUTORIAL 5.2.1 Tailoring to Allow NCSC-Approved Documentation None of the DIDs included, or any of the tailoring instructions presented here, preclude the use of the same documentation accepted by the NCSC during the evaluation of a product. Words should be Included either in the SOW or In Block 16 on the CDRL Indicating that the format agreed on during evaluation Is acceptable for the acquisition. 5.2.2 Subjective Index A subjective index is required in subsection 10.1, subparagraph 1, of all the DIDs written for this guideline. This subjective index can be very useful for the reader of a document to find a specific subject in a large document. However, an extensive index can be very expensive to produce. The cost of the index will be transferred to the government. If the subjective index is determined by the government to be needed, that portion of subsection 10.1 should not be tailored out of the DID. However, if the index is not necessary for the acquisition, "Delete 10.1 subparagraph I" should be included in Block 16 of the CDRL. 5.2.3 Referencing All of the documents created from the DIDs in this guideline, except the Security Features User's Guide and the Security Test Plan, should use referencing to other documents to satisfy the requirements of the DID. The documents that can be easily referenced are government-furnished documents, prior deliverables of the contract, or commercial documentation. All of this documentation is readily available to the government. Any references should summarize the content of the referenced material. An explicit reference to the original material (e.g., subparagraph, table, figure) should be provided. These reference requirements enable the reader of the security document to determine whether it is worthwhile to refer to the other document prior to referencing it. A note in Block 16 of the CDRL or the SOW can allow/encourage this referencing. The SFUG and Security Test Plan should not permit referencing unless authorized by the procuring activity or as specified in the CDRL. The SFUG is a user's guide that would be cumbersome to use if it were not self-contained, and the Security Test Plan would be unmanageable if testers were required to reference other documents during security testing. 5.3 Specific Tailoring Instructions The following subsections discuss the specific tailoring instructions for each security document. This discussion includes the instructions to tailor the DID at each TCSEC class. Subsection 10.2 of each DID contains the general documentation requirements for all of the TCSEC classes of the document. Any TCSEC documentation requirements that are specific to certain classes are included in the DIDs in subsections 10.3 or higher. Samples CDRLs for each document at each class are included in Appendix A. 5.3.1 Security Features User's Guide (SFUG) Referencing to other documents should not be allowed in the SFUG. This restriction can be indicated in the SOW or the CDRL for the SFUG. The SFUG is a 28 DATA ITEM DESCRIPTION TAILORING INSTRUCTIONS user's guide that would be cumbersome to use if the user were required to reference other documentation, as described above. The SFUG is required by the TCSEC at Class C2 and above. Subsection 10.2 contains the general information required at all class levels of the document. For a TCSEC Class C2 and Bl product or equivalent system, subsections 10.3 and 10.4 should be deleted. For a TCSEC Class B2 product or equivalent system, subsection 10.4 should be deleted. Finally, for a TCSEC Class B3 and Al product or equivalent system, subsection 10.3 should be deleted. Sample CDRLs for each of these TCSEC Classes are included in Appendix A. 5.3.2 Trusted Facility Manual (TFM) The TFM is required by the TCSEC at Class C2 and above. Subsection 10.2 contains the general information required at all class levels of the document. For TCSEC Class C2, subsections 10.4 through 10.7 should be deleted. For a TCSEC Class Bl product or equivalent system, subsections 10.5 through 10.7 should be deleted. For TCSEC Class B2, subsections 10.6 and 10.7 should be deleted. For a TCSEC Class B3 product or equivalent system, subsection 10.7 should be deleted. Finally, for TCSEC Class Al, all of the subsections of 1 0 should be addressed in the TFM. Sample CDRLs for each of these TCSEC Classes are included in Appendix A. 5.3.3 Philosophy of Protection Report The Philosophy of Protection Report is a good overview security document to require as part of a proposal for a program. Since it describes the security philosophy for the program at a high level without implementation specifics, the report can assist the evaluators in determining the validity of the proposed solution. The requirement for the document should be included in the proposal preparation instructions so that this document is available during proposal evaluation. The document should also be included in the SOW for -post-award refinements. The Philosophy of Protection Report is required in the TCSEC for Class C2 and above classes. No tailoring is required; the document is the same for all TCSEC classes. 5.3.4 Informal Security Policy Model The Informal Security Policy Model is required by the TCSEC at Class Bl if the Formal Security Policy Model does not exist. It is the responsibility of the procurement initiator to determine whether an informal or formal security policy model should be required. Generally, if formal proofs are envisioned, then the Formal Security Policy Model should be required. Otherwise, the Informal Security Policy Model is sufficient. No tailoring is required for the Informal Security Policy Model since the document is only applicable at one TCSEC class. A sample CDRL is included in Appendix A. 5.3.5 Formal Security Policy Model The SOW portion, which calls out the CDRL and corresponding DID for the Formal Security Policy Model, should indicate that an NCSC-endorsed formal 29 COMPUTER SECURITY CDRL AND DID TUTORIAL specification and verification system should be used at TCSEC Class Al [TCSEC, Section 4.1.3.2.2]. Refer to pg. 41, Volume 2, of this Procurement Guideline series for associated SOWs which support the use of the Formal Security Policy Model DID. This will ensure the foundation on which this assurance documentation is based. If the developer and the software support activity are not the same, then the government needs to acquire the rights to the formal tools used to develop the formal model. This can be requested through the SOW and a separate CDRL. The Formal Security Policy Model may be offered as a substitute for the Informal Security Policy Model at the TCSEC Class Bl. However, it is required by the TCSEC at Class B2 and above. Subsection 10.2 contains the general information required at all class levels of the document. For a TCSEC Class Bl product or equivalent system, subsection 10.4 should be deleted. For TCSEC Classes B2, B3, and Al, subsection 10.3 should be deleted. Sample CDRLs for each of these TCSEC classes are included in Appendix A. 5.3.6- Descriptive Top-Level Specification (DTLS) During the documentation of the design of a trusted product at the TCSECClass B2 and above, the designer and/or documenter should keep in mind that a covert channel analysis will be required. Often the design and document can be written in more than one way, at each decision point. If the need for a covert channel analysis is kept in mind when these design and documentation decisions are being made, effort may be saved during the covert channel analysis. The DTLS is design documentation, and is closely related to the software and hardware design documentation. The requirements for the DTLS document may be satisfied in one of three ways: (1) a separate, stand-alone document in addition to the standard design documentation; (2) a brief document that includes some overview security discussion, and then provides a list of pointers into the standard design documentation; (3) completely subsumed within the standard design documentation, in which case it is necessary to identify clearly which portions of the design documents are part of the security-relevant DTLS. The SOW or the CDRL in Block 16 should indicate which of these options should be used for the DTLS for a specific acquisition. The DTLS is required by the TCSEC at Class B2 and above. Subsection 10.2 contains the general information required at all class levels of the document. For a TCSEC Class B2 product or equivalent system, subsections 10.3 and 10.4 should be deleted. For TCSEC Class B3, subsection 10.4 should be deleted. Finally, for a TCSEC Class Al product or equivalent system, all subsections of 10 should be addressed in the DTLS. Sample CDRLs for each of these TCSEC classes are included in Appendix A. 5.3.7 Formal Top-Level Specification (FTLS) During the documentation of the design of a trusted product in an FTLS, the designer and/or documenter should keep in mind that a covert channel analysis will be required. Often the design and document can be written in a couple of ways at each decision point. If the need for a covert channel analysis is kept in mind when these design and documentation decisions are being made, effort may be saved during the covert channel analysis. 30 DATA ITEM DESCRIPTION TAILORING INSTRUCTIONS The FTLS is required in the TCSEC for Class Al. No tailoring is required, since the document is only required for the one TCSEC class. A sample CDRL is included in Appendix A. 5.3.8 Design Specification The Design Specification document contains the security design information requirements in the TCSEC that are not covered in any other security design document. At the lower levels, it is the only design document; therefore, it contains all of the TCSEC-required design information. At the higher levels, some of the design information exists in other documents, therefore, this design information is not contained in the Design Specification. An example of this partitioning is the documentation of the TCB interfaces. At TCSEC Classes C2 and Bl, the documentation of the TCB interfaces is contained in the Design Specification. However, at TCSEC Classes B2 and above, the DTLS is required. The DTLS contains the documentation of the TCB interfaces. Therefore, the Design Specification does not require this information above TCSEC Class Bl level. The Design Specification is design documentation, and is closely related to the software and hardware design documentation. The requirements for the Design Specification document may be satisfied in one of three ways: (1) a separate, standalone document in addition to the standard design documentation; (2) a brief document that includes some overview security discussion, and then provides a list of pointers into the standard design documentation; (3) completely subsumed within the standard design documentation, in which case it is necessary to identify clearly which portions of the design documents are part of the security-relevant Design Specification. The SOW or the CDRL in Block 16 should indicate which of these options should be used for the Design Specification for a specific acquisition. Subsection 10.2 of the Design Specification contains the general information required at all class levels of the document. For TCSEC Class C2, subsections 10.5 through 10.8 should be deleted. For a TCSEC Class Bl product or equivalent system, subsections 10.6 through 10.8 should be deleted. For TCSEC Class B2, subsections 10.3 through 10.5, 10.7, and 10.8 should be deleted. For a TCSEC Class B3 product or equivalent system, subsections 10.3 through 10.5 and 10.8 should be deleted. Finally, for TCSEC Class Al, subsections 10.3 through 10.5 should be deleted. Sample CDRLs for each of these TCSEC classes are included in Appendix A. 5.3.9 Trusted Computing Base (TCB) Verification Report The TCB Verification Report is required by the TCSEC at Class B3 and above. Subsection 10.2 contains the general information required at all class levels of the document. For a TCSEC Class B3 product or equivalent system, subsection 10.4 should be deleted. For a TCSEC Class Al, subsection 10.3 should be deleted. Sample CDRLs for each of these TCSEC classes are included in Appendix A. 5.3.10 Covert Channel Analysis Report The Covert Channel Analysis Report is required by the TCSEC at Class B2 and above. Subsection 10.2 contains the general information required at all class 31 COMPUTER SECURITY CDRL AND DID TUTORIAL levels of the document. For a TCSEC Class B2 product or equivalent system, subsections 10.4 and 10.5 should be deleted. For TCSEC Class B3, subsection 10.5 should be deleted. For a TCSEC Class Al product or equivalent system, all of the subsections in 10 should be addressed in the report. Sample CDRLS- for each of these TCSEC classes are included in Appendix A. 5.3.11 Trusted Computing Base Configuration Management Plan The hardware and firmware, which enforce security protection, are considered a part of the TCB at the lower TCSEC classes. However, the hardware and firmware of the TCB are not required to be placed under CM control until at TCSEC Class Al level. This is the major difference between the B3 and Al TCB CM Plan included with this guideline. The TCB CM Plan can be tied to the overall development and CM methodology of a project. The requirements for the TCB CM Plan may be satisfied in one of three ways: (1) a separate, stand-alone document in addition to the program CM plan; (2) a brief document that includes some overview security discussion, and then provides a list of pointers into the program CM plan; (3) completely subsu@ed within the program CM plan, in which case it is necessary to identify clearly which portions of the CM plan are part of the security-relevant CM plan. The SOW or the CDRL in Block 16 should indicate which of these options should be used for the TCB CM Plan for a specific acquisition. The TCB CM Plan is required by the TCSEC at Class B2 and above. Subsection 10.2 contains the general information required at all class levels of the document. For a TCSEC Class B2 and B3 product or equivalent system, subsection 10.4 should be deleted. For TCSEC Class Al, subsection 10.3 should be deleted. Sample CDRLs for each of these TCSEC classes are included in Appendix A. 5.3.12 Test Documentation The test documentation DIDs included in this guideline are the Security Test Plan, Test Procedures, and Test Reports. The security test plan DID was created for this guideline. The test procedure and test reports DIDs are generic DiDs that The following subsections provide the tailoring instructions for these DIDs. 5.3.12.1 Security Test Plan Referencing to other documents should not be allowed for the Test Plan. This restriction can be indicated in the SOW or the CDRL for the Security Test Plan. It would be unmanageable if testers were required to reference multiple documents during testing, as described above. Generally, Security Test Plans are produced to support certification and accreditation. This support should be taken into account when calling out the requirement for a Security Test Plan. The Security Test Plan is required by the TCSEC at Class C2 and above. Subsection 10.2 contains the general information required at all class levels of the document. For TCSEC Class C2, subsections 10.4 through 10.9 should be deleted. For a TCSEC Class Bl product or equivalent system, subsections 10.3, and 10.6 through 10.9 should be deleted. For TCSEC Class B2, subsections 10.3, 10.4, 10.8, DATA ITEM DESCRIPTION TAILORING INSTRUCTIONS and 10.9 should be deleted. For a TCSEC Class B3 product or equivalent system, subsections 10.3, 10.4, 10.6, and 10.9 should be deleted. Finally, for TCSEC Class Al, subsections 10.3, 10.4, 10.6, and 10.7 should be deleted. Sample CDRLs for each of these TCSEC classes are included in Appendix A. 5.3.12.2 Test Procedures The Test Procedures DID was not specifically developed for this guideline because there are no TCSEC requirements defining the content of Security Test Procedures. The requirement in the TCSEC is to provide procedures for security testing. The DID included in Appendix B for the Test Procedures is a generic DID that covers all types of information that should be included in procedures for security testing. As such, the Test Procedures DID does not need to be tailored specifically for any of the TCSEC classes. The same CDRL and DID, in Appendix A and B respectively, can be used for any TCSEC class test procedure. However, this DID is all inclusive in nature. For that reason, there may be non-security-related requirements that are not appropriate for a specific acquisition. Therefore, the Test Procedures DID should be examined and tailored accordingly. This tailoring deletes inappropriate requirements, simplifying the resulting document. One provision that should be included in any Test Procedures for an environment containing sensitive information is the handling of sensitive results (e.g., classified printouts) produced during testing. The SOW for the Test Procedures should include this provision. 5.3.12.3 Test/Investigation Reports The Test/Investigation Reports DID included in this guideline provide "the results of development, qualification and other tests required by applicable specifications and program test plans, and to show degree of meeting specified performance objectives." From the requirements within the DID itself, the "specified performance objectives" are not the type of performance objectives in the form of timing or throughput objectives. The objectives on which this DID requires reporting are functional performance of specified requirements. The Test/Investigation Reports DID included in this guideline was not specifically developed for this guideline because there are no TCSEC requirements reporting security testing results. The requirement in the TCSEC is to report the results of security testing. The DID included in Appendix B for Test/Investigation Reports is a generic DID that covers all types of information which should be included to report on security testing. As such, the Test/Investigation Reports DID does not need to be tailored for any of the TCSEC classes. The same CDRL and DID in Appendix A and B respectively can be used for any TCSEC class of Test/investigation Reports. However, this DID is all-inclusive in nature. For that reason, there may be non-security-related requirements that are not appropriate for a specific acquisition. Therefore, the Test/Investigation Reports DID should be examined and tailored accordingly. This tailoring deletes inappropriate requirements, simplifying the resulting document. One provision that should be included in any Test/Investigation Report for an environment containing sensitive information is the handling of sensitive results (e.g., 33 COMPUTER SECURITY CDRL AND DID TUTORIAL classified printouts) produced during testing. The SOW for the Test Procedures should include this provision. 5.3-13 Summary of Specific Tailoring Instructions Table 2, summarizes the contents of the previous guideline subsections. As has been noted, subsection 10.2 of each DID is applicable at each class level. For each document, subsections 10.3 through 10.9 are either not applicable or should be deleted for certain classes, as indicated in the table. (See table footnote.) 34 DATA ITEM DESCRIPTION TAILORING INSTRUCTIONS Table 2. Summary of DID Subsections to be Deleted for Each Security Document Document At TCSEC Class 10.2 10.3 10.4 10.5 10.6 10.7 10.8 10.9 SFUG at TCSEC class C2 x x - - - - - SFUG at TCSEC class B1 x x - - - - - SFUG at TCSEC class B2 x - - - - - SFUG at TCSEC class B3 x - - - - - SFUG at TCSEC class A1 x - - - - - TFM at TCSEC class C2 x x x x - - TFM at TCSEC class B1 x x x - - TFM at TCSEC class B2 x x - - TFM at TCSEC class B3 x - - TFM at TCSEC class A1 - - philosophy of protection at all classes - - - - - - - informal security policy model class B1 - - - - - - Formal Security policy Model at B1 x - - - - Formal Security Policy Model at B2 x - - - - Formal Security Policy Model at B3 x - - - - Formal Security Policy Model at A1 x - - - - DTLS at TCSEC Class B2 x x - - - - - DTLS at TCSEC Class B3 x - - - - - DTLS at TCSEC Class A1 - - - - - FTLS at TCSEC class A1 - - - - - - - X = Delete Subsection = Not Applicable 35 COMPUTER SECURITY CDRL AND DID TUTORIAL Table 2. Summary of DID Subsections to be Deleted for Each Security Document - Continued DOCUMENT AT TSCEC CLASS DID SUBSECTIONS TO BE DELETED 10.2 10.3 10.4 10.5 10.6 10.7 10.8 10.9 Design Specification at C2 x x x x - Design Specification at B1 x x x - Design Specification at B2 x x x x x - Design Specification at B3 x x x x - Design Specification at A1 x x x - TCB Verification Report at B3 x - - - - - TCB Verification Report at A! x - - - - - Convert Channel Analysis Report at B2 x x - - - - Convert Channel Analysis Report at B3 x - - - - Convert Channel Analysis Report at A1 - - - - TCB CM plan at TCSEC Class B2 x - - - - - TCB CM Plan at TCSEC Class B3 x - - - - - TCB CM Plan at TCSEC Class A1 x - - - - - Security Test Plan at C2 x x x x x x Security Test Plan at B1 x x x x x Security Test Plan at B2 x x x x Security Test Plan at B3 x x x x Security Test Plan at A1 x x x x Test Procedure at All Classes - - - - - - - - Test/Investigation Reports at All Classes - - - - - - - - X = Delete Subsection = Not Applicable 36 APPENDIX A - SAMPLE CDRLs FOR EACH CLASS These CDRLs are examples the procurement initiator can use in an RFP. They can be drawn directly into the RFP for each TCSEC class. Section 3 provides a description and guidance on completing all of the blocks on the CDRL form. The blocks containing italicized information must be replaced. Block 4 of the sample uses the corresponding Data Item Description number. Block 5 uses the corresponding Statement(s) of Work (SOW) number that is found on page 41, Volume 2, of the Procurement Guideline series. The SOW number may be different according to your specific RFP numbering scheme. Block 16 of the sample CDRLs is especially noteworthy. This block can be used as is in the sample. A-1 APPENDIX B - SECURITY DIDs Fourteen security DIDs are provided in this appendix containing all of the documentation required by the TCSEC. These DIDs can be included in an RFP, as is, with a corresponding CDRL to tailor the DID for the specific RFP. Section 5 of this guideline provides a description of the DID form itself and tailoring instructions for each of these DiDs. The sample CDRLs in Appendix A illustrate these tailoring instructions. The following is a list of the 14 security DiDs that are contained in the appendix: Security Features User's Guide, Trusted Facility Manual, Philosophy of Protection Report, Informal Security Policy Model, Formal Security Policy Model, Descriptive Top Level Specification, Formal Top Level Specification, Design Specification, TCB Verification Report, Covert Channel Analysis Report, TCB Configuration Management Plan, Security Test Plan, Test Procedures, and Test/Investigation Reports. APPENDIX B - SECURITY DIDS DATA ITEM DESCRIPTION Form Approved OMB No. 0704-0188 Public reporting burden for this collection of information is estimated to average 110 hours per response, including the time for revi@ng instructions, seatchir%g existing data sources, gat@ng and maintaining the data @, and completing and r*vi@ng the collection of information Send corn"nu regarding this burden estimate or any other a@ of this col@on of information, including suggestions for reducing this burden, to Washington Headquarters Strvices. Directorate for information Operations and Reports, 1215 Jofftrson Davis Highway, Suite 1204, Arlington VA 22202-4302, and to the Office of Manag*ment and Budget, Paperwork Reduction Proj@ (0704-0188). Washington, DC 20SO3. 1. TITLE 2. IDENTIFICATION NUMBER SECURITY FEATURES USER'S GUIDE DI-MCCR-81349 3. DESCRIPTION/PURPOSE 3.1 The Security Features User's Guide informs users on how to make effective use of security features. It provides the necessary information to understand and effectively use the security protection mechanism(s) that secure processed or stored information. 4. APPROVAL DATE 5. OFFICE OF PRIMARY RESPONSIBILITY (OPR) 6a. DTIC APPLICABLE 6b. GIDEP APPLICABLE (YYMMDD) C/C71 930702 7. APPLICATION/INTERRELATIONSHIP 7.1 This Data Item Description (DID) contains the format and content preparation instructions for the data product generated under the work task described by 2.2.4.1 and 3.2.2.1.1 of DOD-5200.28 STD, Department of Defense Trusted Computer System Evaluation Criteria. 7.2 This DID is applicable to any computer acquisition that requires user documentation for the security features as specified by DOD-5200.28 STD, Department of Defense Trusted Computer System Evaluation Criteria, Classes Cl (Discretionary Security Protection), and above, products or their equivalent systems. (Continued on Page 2) 8. APPROVAL LIMITATION 9a. APPLICABLE FORMS 9b.,O MSC NUMBER G6939 10. PREPARATION INSTRUCTIONS 10.1 Source Document. The applicable issue of the documents cited herein, including their approval date, and dates of any applicable amendments and revisions shall be reflected in the contract. 10.2 Format. Document the Security Features User's Guide as follows: a Cover Sheet: Shall contain Title, Contract Number, Procuring Activity, Contractor Identification, Acquisition Program Name, disclaimers (as provided by the procuring activity contracting officer), date, version number, security classification, and any other appropriate descriptive data. b. Errata Sheet. Shall contain sheets delimiting cumulative page changes from previous version(s). c. Table of Contents. Shall contain paragraph numbers, paragraph names, and page numbers. d. List of illustrations, diagrams, charts and figures. e. Glossary of abbreviations, acronyms, terms, symbols, and notation used, and their definitions. f. Executive Summary, not to exceed two pages, that briefly summarizes the Security (Continued on Page 2) Distribution Statement A: This DID is approved for public release. Distribution is unlimited. B-3 DD Form 1664, APR 89 PrevioLs ea lions are @losoiete.. Page 1 of 3 Oaqe@ Features User's Guide. g. Introduction. 1 1. DISTRIBUTION STATEMENT COMPUTER SECURITY CDRL AND DID TUTORIAL DI-MCCR-81349 Block 7, APPLICATION/INTERRELATIONSHIP (Continued) 7.3 The information required by 10.3 and 10.4 is required for all class products and their equivalent systems applicable to the DID as a whole. In addition, the information required in 10.4.1 and 10.4.2 is necessary for various classes of products and their equivalent systems. Block 10. PREPARATION INSTRUCTIONS (Continued) h. Body of the Guide. i. Attachments. j. Appendices. k. Bibliography. List references and all applicable documents. 1. Subjective index. An exhaustive index of the key word or theme in each paragraph shall be provided. 10.2.1 Specific format instructions. a. Abbreviations and acronyms shall be defined when first used in the text and shall be placed in the glossary. b. Pages shall be numbered separately and consecutively using Arabic numerals. Blank pages shall be numbered. c. Paragraphs shall have a short descriptive title and shall be numbered consecutively using Arabic numerals. Numbering schemes beyond the fourth level (e.g., 4.1.2.5.8) are not permitted. d. Chapters shall begin on an odd-numbered (right-handed) page. e. Column headings shall be repeated on subsequent pages if tabular material exceeds one page. f. Fold out pages shall be kept to a minimum. g. Paper shall be standard 8 1/2 x 11 inches, white, with black type. The type font shall be standard 10 inch pica or courier, 12 pitch elite, or equivalent font. Either blocked text (left and right justified) or jagged right (left justified only) shall be used. h. At least one inch margins shall be provided all around to allow for drilling and binding. i. Either single-or double-sided printing shall be used. If double-sided, the document shall be printed or typed head-to-head, front-to-back. j. The guide shall be provided in standard three ring notebook binders for ease of maintenance. 10.3. General The level of trust enforced by the Trusted Computing Base (TCB) shall determine the depth and size of the Security Features User's Guide (SFUG). This level determines the security functions needed. The SFUG shall describe the security functions used by operational users who are not specially trained as operators, security administrators, or system administrators. 10.4 Content. The SFUC shall be prepared as follows: a. A description of the prominent features of each security protection mechanism(s) (e.g., I&A, DAC, MAC, and Object Manipulation Facilities) which pertain to the operational users shall be provided. b. A description of the interface between the security protection mechanism(s) and the operational user. It shall also describe the use of the security protection features by the operational users. The SFUG shall include cautions and precautions concerning the consistent and effective use of the described protection features. Page 2 of 3 Pages B-4 APPENDIX 8 - SECURITY DIDS DI-MCCR-81349 Block 10. PREPARATION INSTRUCTIONS (Continued) c. The SFUG shall address the relationships between the operators, system administrators, or security administrators, and the operational user (e.g., the security administrator may control user password generation features). Interface(s) necessary for the user to understand his or her use of each security protection mechanism shall be completely described in the SFUG. d. The SFUG shall include a description of expected reaction to security-related events (e.g.9 access violations, security- related failures). Every advisory or other response from each security protection mechanisms) shall be documented, using the exact electronic text produced. Both affirmative and negative responses shall be illustrated by example dialogue (e.g., (User] Log-In Password Verified; [User] Access Denied; (User] Discretionary Permission Exceeded for File xxxx). e. Cross-references to relevant documentation containing a more detailed description of the security protection mechanisms) and their relationships shall be provided, where applicable, in the SFUG. All cross-references shall be to the subparagraph level in the referenced document. f. Charts, figures, and caricatures should be used in the SFUG whenever possible to illustrate complex concepts, relationships, or interfaces to operational users not specially trained in security. 10.4.1 Class B2 Products and their equivalent systems. The procedures for the operational user to utilize the trusted communication path between the TCB and the user for initial login and authentication shall be explicitly defined in the SFUG. The SFUG shall describe how the communications via this path are initiated exclusively by the user. 10.4.2 Class B3 and above Products and their equivalent systems. The procedures for the operational user to utilize the trusted communication path between the TCB and the user for use when a positive TCB-to-user connection is required (e.g., login, change subject security level) shall be explicitly defined in the SFUG. The SFUG shall describe how the communications via this trusted path are activated exclusively by the user or the TCB. The SFUG shall describe how the trusted path is logically isolated and unmistakably distinguishable by the user from other paths. Page 3 of 3 Pages B-5 DATA ITEM DESCRIPTION esti Publit r"rting burden for this collodion of information is estimated to average I 1 0 hours per response, irkluding the tirrm for r*vi@ng instructions APPENDIX B - SECURITY DiDs Form Approved OMB No. 0704-0188 searching existing data sources, gathering and maintaining the data needed, and Completing and re@i@ng the collection of information. Send comments regarding this burden or ny other a@ of this col@on of inf(wmation, Including suggestions for reducing this burden, to Washington Hwadq.arters S*rvices, Directorate for lnfo,nwtion Operations a"nadt*R" "r,,., 1215 Jefferson Davis Nighway, Suits 1204, Arlington VA 222024302, and to the Office of Management and Budg*t, Paperwork Reduction Proj@ (0704-0188), Washington, DC 20SO3. p 1. TITLE 2. IDENTIFICATION NUMBER TRUSTED FACILITY MANUAL 4 DI-TMSS-81352 3. DESCRIPTION/PURPOSE 3.1 The Trusted Facility Manual (TFM) explains how the security administrator, system administrator, or operator establish, operate, and maintain a secure environment. The security administrator is responsible for the secure administration of the environment. The system administrator is responsible for the overall functioning of the environment. Finally, the operator is responsible for the day-to-day operation of the environment. 4. APPROVAL DATE 5. OFFICE OF PRIMARY RESPONSIBILITY (OPR) 6a. DTIC APPLICABLE 6b. IDEPAPPLICABLE (YYMMDD) C/C71 930702 7.APPLICATION/INTERRELATIONSHIP 7.1 This Data Item Description (DID) contains the format and content preparation instructions for the data product generated under the work task described by 2.1.3.1.2, 2.1.4.2, 2.2.4.2, 3.1.2.2, 3.1.4.2, 3.2.2.1.1, 3.2.3.1.4, 3.2.4.2, 3.3.2.1.1, 3.3.2.2, 3.3.3.1.4, 3.3.3.1.5, 3.3.4.2 and 4.1.3.2.4 of DOD-5200.28 STD, Department of Defense Trusted Computer System Evaluation Criteria. 7.2 This DID is applicable to any computer acquisition that requires administratororiented documentation as prescribed by DOD-5200.28-STD, Department of Defense Trusted (Continued on Page 2) 9a. APPLICABLE FORMS gb. AMSC NUMBER C6942 10.1 Source Document. The applicable issue of the documents cited herein, including their approval date, and dates of any applicable amendments and revisions shall be reflected in the contract. 10.2 Format. The TFM shall contain: a. Cover Sheet. Include Title, Contract Number, Procuring Activity, Contractor Identification, Acquisition Program Name, disclaimers (as provided by the procuring activity contracting officer), date, version, number, security classification, and any other appropriate descriptive data. b. Errata Sheet. Provide sheet delimiting cumulative page changes from previous version(s). c. Table of Contents. Include paragraph numbers, paragraph names, and page numbers. d. List of illustrations, diagrams, charts, and figures. e. Glossary of abbreviations, acronyms, terms, symbols, and notation used, and their definitions. f. Executive Summary, not to exceed two pages, that briefly summarizes the Trusted Facility Manual. (Continued on Page 2) 1 1. DISTRIBUTION STATEMENT Distribution Statement A: This DID is approved for public release. Distribution is unlimited. B-7 DID Form 1664, APR 89 Previous ed@tions are obsolete Page 1 of 5 Pages 8. APPROVAL LIMITATION 10. PREPARATION INSTRUCTIONS COMPUTER SECURITY CDRL AND DID TUTORIAL DI-TMSS-81352 Block 7. APPLICATION/INTERRELATIONSHIP (Continued) Computer System Evaluation Criteria, Classes Cl (Discretionary Security Protection), and above, products or their equivalent systems. 7.3 The information required for all class products and their equivalent systems applicable to the DID as a whole. In addition, the information required in 10.3.1, tO.3.2, 10.3.3, 10.3.4, and 10.3.5 is necessary for various classes of products and their equivalent systems. Block 10. PREPARATION INSTRUCTIONS (Continued) g. Introduction. h. Body of the Manual. i. Attachments. j. Appendices. k. Bibliography. List reference sources and applicable documents. 1. Subjective Index. An exhaustive index of the key word or theme in each paragraph shall be provided. 10.2.1 Specific format instructions. a. Abbreviations and acronyms shall be defined when first used in the text and shall be placed in the glossary. b. Pages shall be numbered separately and consecutively using Arabic numerals. Blank pages shall be numbered. c. Paragraphs shall have a short descriptive title and shall be numbered consecutively using Arabic numerals. Numbering schemes beyond the fourth level (e.g., 4.1.2.5.8) are not permitted. d. Chapters shall begin on an odd-numbered (right hand) page. e. Column headings shall be repeated on subsequent pages if tabular material exceeds one page. f. Fold out pages shall be kept to a minimum. g. Paper shall be standard 8 1/2 x 11 inches, white, with black type. The type font shall be standard 10 pitch pica or courier, 12 pitch elite, or equivalent font. Either blocked text (left and right justified) or jagged right (left justified only) shall be used. h. At least one inch margins shall be provided all around to allow for drilling and binding. i. Either single- or double-sided printing shall be used. If doublesided, the document shall be printed or typed head-to-head, front-to-back. j. The manual shall be provided in standard three-ring notebook binders for ease of maintenance. 10.3 Content. The Trusted Facility Manual (TFM) shall describe procedures for selecting security options that are needed to meet operational requirements in a secure manner. The level of detail should span the gap between the user-oriented Security Features User's Guide and the security engineer-oriented design documentation. The TFM shall be addressed to the system administrator, security administrator, or operator and provide the following information: a. The TFM shall briefly identify and describe the computer acquisition for which the TFM applies. It shall identify and describe any peripheral equipment necessary for either a secure or functional application. The TFM shall also discuss, if appropriate, use in all possible different environments. Page 2 of 5 Pages B-8 APPENDIXB- SECURITY DiDs DI-TMSS-81352 Block 10. PREPARATION INSTRUCTIONS (Continued) b. The TFM shall describe all of the security mechanisms for the computer environment as these features involve the administrator: the communication (e.g., communications links and network connections); TEMPEST; hardware; software; and storage media. c. The TFM shall describe the cautions about functions and privileges that should be Controlled when running a secure facility. d. The TFM shall describe the procedures (for hardware and software features) that must be used to periodically validate the correct operation of the on-site operational TCB hardware and firmware elements. 10.3.1 Classes C2 and above products and their equivalent systems. The following shall be included: a. Identification of the audit files. It shall describe the procedures for examining and maintaining the audit files. b. Identification of the audited events. It shall describe the detailed audit record structure for each type of audit event. 10.3.2 Classes Bl and above Products and their equivalent systems. The following shall be included: a. A description of the duties, responsibilities, functions, privileges, and interrelationships of the system user, operator, and administrator related to security. This shall include the actions required to change the security characteristics of a user/administrator. b. The guidelines on the consistent and effective use of the facility procedures, warnings, and privileges that need to be controlled in order to operate the facility in a secure manner. c. The guidelines on the consistent and effective use of the protection features (e.g.9 controlling access, initialization of storage objects, importation of data without labels, label designation of communications channels, exportation of labels, labeling of human-readable output, identification and authentication of users). This shall include how the protection features interact. d. A description of the procedures used to generate a new TCB. The steps necessary to validate and ensure that all changes which are incorporated conform to the requirements for the TCB class shall be described in the TFM. e. A description of how the audit mechanism audits the override of human readable output markings. 10.3.3 Classes B2 and above products and their equivalent systems. The following shall be included: a. The TCB modules that contain the reference validation mechanism shall be identified in the TFM. b. The procedures for secure generation of a new TCB from source after modification of any modules in the TCB shall be described in the TFM. c. The separation of operator and administrator functions. d. The procedures that the administrator/user must follow to reach the trusted communication path between the administrator/user and the TCB. Page 3 of 5 Pages B-9 COMPUTER SECURITY CDRL AND DID TUTORIAL DI-TMSS-81352 Block 10. PREPARATION INSTRUCTIONS (Continued) e. The guidelines on the consistent and effective use of the protection features (e.g., change of terminal user security level during interactive session, assignment of security levels to attached devices, identification of covert storage channels in audit data, and safeguards to ensure least pri4ilege). This shall include how the protection features interact. 10.3.4 Classes B3 and above products and their equivalent systems. The following shall be included: a. Operational procedures necessary to achieve the initial secure processing state. Include any instructions necessary to maintain the secure state. b. The functions performed in the role of a security administrator shall be identified in the TFM. The TFM shall describe the procedure (a distinct auditable action) that allows a user to access the security administrator role. The TFM shall identify the means by which non-security functions (e.g., those essential to performing the security role effectively) can be performed in the security administration role. c. The mechanism that monitors the occurrence or accumulation of security auditable events that may indicate an imminent violation of security policy. The TFM shall describe how the security administrator will be notified when thresholds are exceeded. The TFM shall also identify the security administrator's role in the action which will occur to terminate the events, if the occurrence or accumulation of these security relevant events continues. d. The procedures for the administrator/user to utilize the trusted communication path between the TCB and the administrator/ user, for use when a positive TCB-to-user connection is required (e.g., login, change subject security level), shall be explicitly defined in the TFM. The TFM shall describe how the communications via this trusted path is activated exclusively by the administrator/user or the TCB. The TFM shall describe how the trusted path is logically isolated and unmistakably distinguishable by the administrator/user from other paths. e. The guidelines on the consistent and effective use of the protection features (e.g.9 listing individuals or groups with access to specific objects, and identification of covert channels in audit data). This shall include how the protection features interact. f. The TFM shall include the description of procedures necessary to resume secure operation after any lapse of operation. The following items shall be included in the TFM to be assigned exclusively to administrative personnel with security-relevant responsibility. ' 1) Procedures for analysis of dumps, for consistency checking of TCB objects, and for cold start and emergency restart. 2) A description of the types of tolerated failures and examples of the recommended procedures for responding to such failures. 3) Procedures for running periodic integrity checks on the TCB database and for repairing damaged security labels. 4) Procedures for handling inconsistencies of the objects (e.g., duplicate allocation of disk blocks to objects, inconsistent object links). 5)Lists of commands, TCB calls, and function definitions for trusted recovery (whenever these aren't documented in the DTLS). 6) Examples of, and warnings about, potential misuse of trusted B-10 recovery procedures. Page 4 of 5 Pages APPENDIX B - SECURITY DIDS DI-TMSS-81352 10.3.5 Classes Al products and their equivalent systems. The following shall be included: a. A description of the distribution facility procedures provided for maintaining,the integrity of the on-site operational TCB master copy. b. A description of the procedures that ensure that the TCB software, firmware, and hardware updates distributed are exactly as specified by the master copies. Page 5 of 5 Pages B-11 APPENDIX 8 - SECURITY DiDs DATA ITEM DESCRIPTION Form Approved OMB No. 0704-0188 Public re"rting burden for this collection of information Is estimated to average I 10 hours per response, including the lima for revi@ng instructions, searching existing data sources, gatlwing and maintaining the data @. andcompl*ting and revievang the collection of information. Send comments regarding this burden estimate or any other aspect of this collection of Information, including suggestions for reducing this burden, to Washington Headquarters Services, Directorate for Information Operations and R*ports, 121S J*ffemon Davis Hi@ay, Suite 1204, Adington VA 22202-4302, and to Om Office of Managtm*nt a@ Budget, Paperwork Rtduction Prolfti (0704-0198), Washington, DC 20503. 1. TITLE 2. IDENTIFICATION NUMBER PHILOSOPHY OF PROTECTION REPORT DI-MISC-81348 3. DESCRIPTION/PURPOSE 3.1 This report details an informal description of a security policy and the overall high level design of a Trusted Computing Base (TCB) delineating each of the protection mechanisms (both TCB and non-TCB) employed to enforce the policy. 4. APPROVAL DATE 5. OFFICE OF PRIMARY RESPONSIBILITY (OPR) 6a. DTIC APPLICABLE 6b. GIDEP APPLICABLE (YYMMDD) G/C71 930702 7. APPLICATION/INTERRELATIONSHIP 7.1 This Data Item Description (DID) contains the format and content preparation instructions for the data product generated under the work task described by 2.1.4.4 of DOD-5200.28 STD, Department of Defense Trusted Computer System Evaluation Criteria. 7.2. This DID is applicable to any computer acquisition that calls for a Philosophy of Protection Report as specified by DOD-5200.28 STD, Department of Defense Trusted Computer System Evaluation Criteria for a TCB Class Cl (Discretionary Security Protection), or (Continued on page 2) 9a. APPLICABLE FORMS 9b AMSC NUMBER C6938 10.1 Source Document. The applicable issue of the documents cited herein, including their approval date, and dates of any applicable amendments and revisions shall be reflected in the contract. 10.2 Format. Document the Philosophy of Protection Report as follows: a. Cover Sheet. Shall contain Title, Contract Number, Procuring Activity, Contractor Identification, Acquisition Program Name, disclaimers (as provided by the procuring activity contracting officer), date, version, number, security classification, and any other appropriate descriptive data. b. Errata Sheet. Shall contain sheets delimiting cumulative page changes from previous versions. c. Table of Contents. Shall contain paragraph numbers, paragraph names, and page numbers. d. List of illustrations, diagrams, charts, and figures. e. Glossary of abbreviations, acronyms, terms, symbols, and notation used, and their definitions. (Continued on Page 2) 1 1 . DISTRIBUTION STATEMENT Distributed Statement A: This DID is approved for public release; distribution is unlimited. B-13 L DD For@l 664, APR 89 Previous ea,t ons are Obsolete Page I of 3 Pages 8. APPROVAL LIMITATION 10. PREPARATION INSTRUCTIONS COMPUTER SECURITY CDRL AND DID TUTORIAL DI-MISC-81348 Block 7, APPLICATION/INTERRELATIONSHIP (Continued) above, products or their equivalent systems. The Philosophy of Protection Reportis based on the security policy enforced by the TCB derived from U.S. Government laws, regulations, standards, and practices. Block 10, PREPARATION INSTRUCTIONS (Continued) f. Executive Summary, not to exceed two pages, that briefly describes the TCB's security-related capabilities. g. Introduction. h. Body of the Report. i. Attachments. j. Appendices. k. Bibliography. List reference sources and applicable documents. 1. Subjective index. 10.2.1 Specific format instructions. a. Abbreviations and.acronyms shall be defined when first used in the text and shall be placed in the glossary. b. Pages shall be numbered separately and consecutively using Arabic numerals. Blank pages shall be numbered. c. Paragraphs shall have a short descriptive title and shall be numbered consecutively using Arabic numerals. Numbering schemes beyond the fourth level (e.g., 4.1.2.5.8) are not permitted. d. Chapters shall begin on an odd-numbered (right hand) page. e. Column headings shall be repeated on subsequent pages if tabular material exceeds one page. f. fold out pages shall be kept to a minimum. g. Paper shall be standard 8 1/2 x 11 inches, white, with black type. The type font shall be standard 10 pitch pica or courier, 12 pitch elite, or equivalent font. Either blocked text (left and right justified) or ragged right (left justified only) shall be used. h. At least one inch margins shall be provided all around to allow for drilling and binding. i. Either single- or double-sided printing shall be used. If doublesided, the document shall be printed or typed head-to-head, front-to-back. j. The report shall be provided in standard three-ring notebook binders for ease of maintenance. 10.3 Content. The following shall be included in the Philosophy of Protection Report: a. The Philosophy of Protection Report shall provide a description of the explicit and well-defined security policy enforced by the TCB and the environment, as appropriate The discussion shall include the applicable laws, rules, and regulations. This description shall be in enough detail to form the background for the philosophy of protection discussions. b. The Philosophy of Protection Report shall describe the high-level TCB protection mechanisms derived from the policy. It shall describe the philosophy of protection for the TCB. This encompasses the enumeration of any assumptions and constraints, with the rationale and justification for using each. These assumptions and constraints may be applicable for justifying distribution of the security requirements through the TCB. Page 2 of 3 Pages B-14 DI-MISC-81348 Block 10, preparation Instructions (continued) c. The philosophy os Protection Report shall describe the environmental mechanisms supporting the policy. It shall provide an explanation of how the security policy is translated into environmental constraints, connectivity constraints, and the specific TCB protection mechanism(s). This discussion shall include any entity that enforces the security policy, either external or internal to the computer itself (e.g., physical access control, TCB mechanisms d. The Philosophy of Protection Report shall describe the TCB mechanisms supporting the policy. It shall show how the philosophy of protection is translated into the TCB hardware, software, and firmware; as appropriate. The philosophy of Protection Report shall relate the security requirements to the architecture. APPENDIX B - SECURITY DIDS DATA ITEM DESCRIPTION Form Approved OMB No. 0704-01 88 Public reporting bum" for this collection of Information Is estimated to average I 1 0 hours per response, including the timt for revi@ng Instructions, searching existing data sources eating arW niaintaINng the data @. and compi*Ung and rev@ng the collection of information Send commtnts re"rding this burden estimate or any other aspect of this col@on of information, including su@tions for r*ducing this burden, to Washington Headquart*rs Services, Directorate for lnfornwtion Operations and Reports, 1215 Jefferson Davis H@y, Suits 1204, Arlington VA 22202-4302, and to the Office of Mana"mnt and Budg*t, Paperwork Reduction Proj@ (0704-0188), Washington, DC 20503. 1. TITLE 2. IDENTIFICATION NUMBER INFORMAL SECURITY POLICY MODEL DI-MISC-81341 3. DESCRIPTION/PURPOSE 3.1 An informal security policy model provides an abstract representation of a trusted computing base (TCB) and the security policy enforced by the TCB. 4. APPROVAL DATE 5. OFFI E OF PRIMARY RESPONSIBILITY (OPR) 6a. DTIC APPLICABLE 6b. GIDEP APPLICABLE (YYMMDO) C/C71 930702 7. APPLICATION/INTERRELATIONSHIP 7.1 This Data Item Description (DID) contains the format and content preparation instructions for the data product generated under the work task described by 3.1.4.4 and 3.1.3.2.2 of DOD-5200.28 STD, Department of Defense Trusted Computer System Evaluation Criteria. 7.2 This DID is applicable to any computer acquisition that calls for an informal security policy model as specified by DoD 5200.28-STD Department of Defense Trusted Computer System Evaluation Criteria (TCSEC) for TCB Class Bl (Labeled Security Protection) (Continued on Page 2) 9a. APPLICABLE FORMS 9b. AMSC NUMBER G6931 10.1 Source Document . The applicable issue of the documents cited herein, including their approval date, and dates of any applicable amendments and revisions shall be reflected in the contract. 10.2 Format. Document an Informal Security Policy Model as follows: a. Cover Sheet. Shall contain Title, Contract Number, Procuring Activity, Contractor Identification, Acquisition Program Name, disclaimers (as provided by the procuring activity contracting officer), date, version number, and any other appropriate descriptive data. b. Errata Sheet. Shall contain cumulative page changes from previous versions. c. Table of Contents. Shall contain paragraph numbers, paragraph names, and page numbers. d. List of illustrations, diagrams, charts, and figures. e. Clossary of abbreviations, acronyms, terms, symbols, and notation used, and their definitions. (Continued on Page 2) 8. APPROVAL LIMITATION 10. PREPARATION INSTRUCTIONS 1 1. DISTRIBUTION STATEMENT Distribution Statement A: This DID is approved for public release. unlimited B-17 DD Form 1664, APR 89 Previous editions are obsolete Distribution is Page 1 of 4 Pages COMPUTER SECURITY CDRL AND DID TUTORIAL DI-MISC-81341 Block 7, APPLICATION/INTERRELATIONSHIP (Continued) products or their equivalent systems. The TCSEC Class Bl requirement is for either an Informal Security Policy Model or a Formal Security Policy Model. If a Formal Security Policy Model is required and is available, then the Informal Security Policy Model is redundant hnd not necessary. Then Informal Security Model is based upon the Philosophy of Protection Report. Block 10. PREPARATION INSTRUCTIONS (Continued) f. Executive Summary, not to exceed two pages, that briefly describes the security model, including its assumptions and limitations. g. Introduction. h. Body of the Report. i. Attachments. 1. Subjective index. j. Appendices. k. Bibliography. List of reference sources and applicable documents. 10.2.1 Specific format instructions. a. Abbreviations and acronyms shall be defined when first used in the text and shall be placed in the glossary. b. Pages shall be numbered separately and consecutively using Arabic numerals. Blank pages shall be numbered. c. Paragraphs shall have a short descriptive title and shall be numbered consecutively using Arabic numerals. Numbering schemes beyond the fourth level (e.g., 4.1.2.5.8) are not permitted. d. Chapters shall begin on an odd-numbered (right hand) page. e. Column headings shall be repeated on subsequent pages if tabular material exceeds one page. f. Fold out pages shall be kept to a minimum. g. Paper shall be standard 8 1/2 x 11 inches, white, with black type. The type font shall be standard 10 pitch pica or courier, 12 pitch elite, or equivalent font. Either blocked text (left and right justified) or ragged right (left justified only) shall be used. h. At least one inch margins shall be provided all around each page to allow for drilling and binding. i. Either single- or double-sided printing shall be used. If double-sided, the document shall be printed or typed head-to-head, front-to-back. j. The report shall be provided in standard three-ring notebook binders for ease of maintenance. 10.3 Content. The Informal Security Policy Model document shall contain the informal security policy model, its associated convincing assurance arguments, and supporting explanations and documentation for both the model and assurance arguments. The model consists of two segments: 1) an informal description of the policy which is to be enforced by the TCB, and 2) an informal description of the abstract protection mechanisms) within the TCB which enforce the described policy. The model shall include the representation of subjects objects, modes of access, and security labels; the set of security properties enforced by the TCB; the representation of the initial state of the TCB; and the representations of the operations performed. Page 2 of 4 Pages B-18 APPENDIX B - SECURITY DID& DI-MISC-81341 Block 10. PREPARATION INSTRUCTIONS (Continued) 10.3.1 General. The Informal Security Policy Model document shall provide background information supporting the modeling effort. All of this background information is informal in nature and may be presented in English text, and graphic representations where appropriate. The following information shall be included as part of this information: v a. Summarization of the security policy to be modeled, how this policy relates to the overall security policy (if the policy modeled is some subset of the overall policy), and the source of the policy. This discussion shall be in enough detail to form the background for the model. b. Discussion of the model chosen, and the rationale for why this model was chosen. c. Discussion of the modeling technique/methodology chosen, and the rationale for why this technique/methodology was selected over other possible techniques. d. Expansion of the security policy into security policy statements. These security policy statements may be brief, but they must explicitly and thoroughly describe the security policy. Each policy statement shall be mapped to the Philosophy of Protection Report. e. Introduction to the kinds of assurance arguments that are provided, along with a rationale that explains why these arguments are sufficient to demonstrate that the TCB is secure with respect to the security properties modeled. 10.3.2 Policy segment. The Informal Security Policy Model document shall provide an informally stated mathematical description of the policy enforced by the TCB. Also, an English language description of the policy model and each of its segments shall be provided. Supporting material shall be provided in the following sequence: a. All assumptions used in the model, using an English language description. The Informal Security Policy Model document shall state the assumptions derived from the Philosophy of Protection Report, and explain why the assumptions are necessary to the model. It shall also explain why all identified assumptions are required, and the consequences of violating the assumptions. b. All axioms used in the model, using an English language description. The Informal Security Policy Model document shall provide supporting rationale for including each axiom. c. The actual model of the policy. Graphic representations of the model's segments may be included (e.g., diagrams and tables). These graphics shall be annotated with brief English language descriptions. Supporting material shall be provided to describe each of the following: (1) The classes of subjects and objects controlled by the TCB. Examples of subjects are people, processes, or devices; and objects are records, blocks, pages, components, files, directories, directory trees, and programs, as well as bits, bytes, words, fields, processors, video displays, keyboards, clocks, printers, network nodes, etc. (2) How subjects are related to users. (3) How subjects are assigned privileged conditions (trusted subjects). (4) How users identify themselves to the TCB. (5) How the TCB records events. Page 3 of 4 Pages B-19 COMPUTER SECURITY CDRL AND DID TUTORIAL DI-MISC-81341 Block 10. PREPARATION INSTRUCTIONS (Continued) 10.3.3 Abstract mechanisms segment. The Informal Security Policy Model document shall describe the abstract TCB protection mechanisms). The following supporting material shall be provided: a. The actual model of the abstract TCB protection mechanisms). Graphic representations of the model's segments may be included (e.g., diagrams and tables). These graphics shall be augmented with brief English language descriptions. The model shall include the following abstract mechanisms), for example: (1) All the rules which permit, as well as constrain, how a subject is allowed access to an object. (2) All privileged conditions under which certain kinds of subjects are allowed to bypass the identified mandatory and discretionary access control rules. (3) All controls on assigning subjects privileged conditions. (4) All the controls on identifying users to the TCB. (5) All the rules that generate an audit event. b. The explanation of' how the abstract protection mechanisms) satisfy the security policy model. Each mechanism shall be discussed separately. The explanation shall include a description of how each element within a mechanism supports other elements of the mechanism. 10.3.4 Segment integration. The integration of the policy and abstract protection mechanism segments of the model shall provide the assurance arguments of the Informal Security Policy Model document. It shall include the following: a. An explanation to show that the model is consistent with its axioms. The explanation shall provide rationale sufficient to demonstrate consistency. b. A description of the relationship of each axiom to the model's segments and specific security-enforcement abstract mechanisms) in the model. c. An explanation which shows that the TCB is sufficient to enforce the security policy. The explanation shall provide rationale sufficient to demonstrate consistency. Page 4 of 4 Pages B-20 DATA ITEM DESCRIPTION APPENDIX- SECURITY DIDS Form Approved OMS No. 0704-0188 Public reporting burden for this col@on of information is estimated to average I 10 hours per response, including the time for revi*vang instructions, searching existing data sources. @ring and maintaining the data @. and compwdncj and rev@ng the collodion of information. Send comments ro"rding this burden estimate or any other aspect of this ,Collection of information lnduchrig suggestions for reducing this burden, to Washington Headquarters Services, Directorate for Information Operations and Reports, 121S Joff*rson Davis Highway, Suits 1204, Arlington VA 22202-4302, and to the Office of Management and Budget, Papsmork Reduction project (0784-OIU), Washington, DC 20503. 1. TITLE 2. IDENTIFICATION NUMBER FORMAL SECURITY POLICY MODEL DI-MISC-81346 3. DESCRIPTION/PURPOSE 3.1 A Formal Security Policy Model is a mathematically precise abstract representation of a security policy and the abstract protection mechanisms that enforce the policy. To be acceptable as a basis for a trusted computing base (TCB), the model must be supported by formal proof. This Data Item Description (DID) describes both the requirements for the model itself and the document in which the model will be delivered. 4. APPROVAL DATE 5. OFFICE OF PRIMARY RESPONSIBILITY (OPR) 6a. DTIC APPLICABLE 6b. GIDEP APPLICABLE (YYMMDD) G/C71 930702 7. APPLICATIONANTERRELATIONSHIP 7.1 This Data Item Description (DID) contains the format and content preparation instructions for the data product generated under the work task described by 3.1.4.4, 3.1.3.2.2, 3.2, 3.2.3.2.2, 3.2.4 ' .4, 3.3.3.2.2 and 3.3.4.4 of DOD-5200.28 STD, Department of Defense Trusted Computer System Evaluation Criteria. 7.2 This DID is applicable to any computer acquisition that calls for a formal security policy model as specified by DOD-5200.28 STD, Department of Defense Trusted Computer System Evaluation Criteria (TCSEC) for TCB Classes Bl (Labeled Security Protection), B2 8. APPROVAL LIMITATION (Continued on Page 2) 9a. APPLICABLE FORMS 9b. AMSC NUMBER G6936 10. PREPARATION INSTRUCTIONS 10.1 Source Document. The applicable issue of the documents cited herein, including their approval date, and dates of any applicable amendments and revisions shall be reflected in the contract. 10.2 Format. Document a Formal Computer Security Policy Model as follows: a. Cover Sheet. Shall contain Title, Contract Number, Procuring Activity, Contractor Identification, Acquisition Program Name, disclaimers (as provided by the procuring activity contracting officer), date, version number, and any other appropriate descriptive data. b. Errata Sheet. Errata sheets shall contain delimiting cumulative page changes from previous versions. c. Table of Contents. Shall contain paragraph numbers, paragraph names, and page numbers. d. List of illustrations, diagrams, charts, and figures. e. Glossary of abbreviations, acronyms, terms, symbols, and notation used, and their definitions. f. Executive Summary, not to exceed two pages, that briefly describes the security model, including its assumptions and limitations. (Continued on Page 2) 1 1. DISTRIBUTION STATEMENT Distribution Statement A: This DID is approved for public release. unlimited B-21 DD Form 16KAPR 89 Previous editions are oosolete AM Distribution is Page 1 of 5 Pages COMPUTER SECURITY CDRL AND DID TUTORIAL DI-MISC-81346 Block 7 APPLICATION/INTERRELATIONSHIP (Continued) (Structured Protection), B3 (Security Domains), or Al (Verified Design) products or their equivalent systems. The Formal Security Policy Model is an optional requirement at TCSEC Class Bl. If an Informal Security Policy Model is required and available at TCSEC CLASS Bl, then the Formal Security Policy Model is redundant and not necessary. The Formal Security Policy Model is based on the Philosophy of Protection Report. Block 10, PREPARATION INSTRUCTIONS (Continued) g. Introduction. h. Body of the Report. i. Attachments. j. Appendices. k. Bibliography. List reference sources and applicable documents. 1. Subjective index. 10.2.1 Specific format instructions. a. Abbreviations and acronyms shall be defined when first used in the text and shall be placed in the glossary. b. Pages shall be numbered separately and consecutively using Arabic numerals. Black pages shall be numbered. c. Paragraphs shall have a short descriptive title and shall be numbered consecutively using Arabic numerals. Numbering schemes beyond the fourth level (e.g., 4.1.2.5.8) are not permitted. e. Column headings shall be repeated on subsequent pages if tabular material exceeds one page. f. Fold out pages shall be kept to a minimum. g. Paper shall be standard 8 12 x 11 inches, white, with black type. The type font shall be standard 10 pitch pica or courier, 12 pitch elite, or equivalent font. Either blocked text (left and right justified) or ragged right (left justified only) shall be used. h. At least one inch margins shall be provided all around each page to allow for drilling and binding. i. The report shall be provided in standard three-ring notebook binders for ease of maintenance. j. The report shall be provided in standard three-ring notebook binders for ease of maintenance. 10.3 Ceneral. The formal Security Policy Model document shall contains the formal security policy model, it s associated proofs, and the supporting explanations and documentation for both the model and proofs. The model contained in the Formal Security Policy Model document consists of two segments: 1) the mathematical representation of the policy which is to be enforced by the TCB, and 2) a mathematical representation of the abstract protection mechanisms) within the TCB which enforce the described policy. The model shall include the representation of subjects, objects, modes of access, and security labels; the set of security properties enforced by the TCB; the representation of the initial state of TCB; and the representations of the operations performed. Page 2 of 5 Pages. B-22 APPENDIXB- SECURITY DIDS DI-MISC-81346 Block 10. PREPARATION INSTRUCTIO14S (Continued) 10.4 Content. The Formal Security Policy Model document shall provide background information supporting the modeling effort. All of this background information is informal in nature and may be presented in English text, and graphic representations where appropriate. The following items shall be included as part of this information: a. Summarization of the security policy to be modeled, how this policy relates to the overall security policy (if the policy modeled is some subset of the overall policy), and the source of the policy. This discussion shall be in enough detail to form the background for the model. b. Discussion in detail of the type of model chosen, and explanation of why this type was selected over other types. c. Identification bf the modeling technique/methodology chosen, and why it was chosen. d. Expansion of the security policy into security policy statements. These security policy statements may be brief, but they must explicitly and thoroughly describe the security policy. Each policy statement shall be mapped to the Philosophy of Protection Report. 10.4.1 Policy segment. The Formal Security Policy Model document shall provide a formal mathematical description of the policy enforced by the TCB. Also, an English language description of the formal security policy model and each of its segments shall be provided. Supporting material should be provided in the following sequence: a. All assumptions used in the model, provided as both mathematical statements (if any) and an English language description. Sufficient supporting rationale to prove the validity of the assumptions shall be provided. An explanation of why the assumptions are necessary to the model and the consequences of violating the assumptions shall also be provided. b.All axioms used in the model, using both mathematical statements and an English language description. This discussion shall include the rationale as to why these axioms are needed and how the axioms are justified. Supporting rationale for each axiom shall be provided by describing its relationship to the modells segments and specific security-enforcement abstract mechanisms in the model. c. The actual model of the policy. Graphic representations of the model's segments may be included (e.g., diagrams and tables). These graphics shall be annotated with English language descriptions. Supporting material shall be provided to describe each of the following: (1) The classes of subjects and objects controlled by the TCB. Examples of subjects are people, processes, or devices; and objects are records, blocks, pages, components, files, directories, directory trees, and programs, as well as bits, bytes, words, fields, processors, video displays, keyboards, clocks, printers, network nodes, etc. (2) How subjects are related to users. (3) How subjects are assigned privileged conditions (trusted subjects). (4) How users identify themselves to the TCB. (5) How the TCB records events. Page 3 of 5 Pages B-23 COMPUTER SECURITY CDRL AND DID TUTORIAL DI-MISC-81346 Block 10. PREPARATION INSTRUCTIONS (Continued) 10.4.2 Abstract mechanism segment. The actual model of the abstract TCB protection mechanisms). Graphic representations of the model's segments may be included (e.g., diagrams and tables). These graphics may be annotated with English language descriptions. Supporting material shall be provided to describe each of the following: a. All the rules that permit, as well as constrain, how a subject is allowed access to an object. b. All privileged conditions under which certain kinds of subjects are allowed to bypass the identified mandatory and discretionary access control rules. c. All controls on assigning privileged conditions to subjects. d. All the controls on identifying users to the TCB. e. All the rules that generate an audit event. f. All TCB responses to failures. 10.4.3 Class Bl products and their equivalent systems. The following shall be included in this section: 10.4.3.1 General. There is no change to the general requirements of the Formal Security Policy Model document for TCB Class Bl products and their equivalent systems. 10.4.3.2 Policy segment. There is no change to the policy requirements of the Formal Security Policy Model document for TCB Class Bl products and their equivalent systems. 10.4.3.3 Abstract mechanism segment. The Formal Security Policy Model document shall identify the abstract TCB protection mechanisms) and explain how these mechanisms satisfy the security policy model. Each abstract mechanism shall be discussed separately. Cross-reference these mechanisms to the policy portion of the Philosophy of Protection Report. The explanation shall include a description of how each element within a mechanism supports other elements of the mechanism, if any, 10.4.3.4 Segment integration. The integration of the policy and abstract mechanism segments of the model shall include the following: a. An explanation to show that the formal security policy model is consistent with its axioms. The explanation shall provide rationale sufficient to demonstrate consistency. b. A description of the relationship of each axiom to the model's segments and specific security-enforcement mechanisms) in the model. c. An explanation that shows that the TCB is sufficient to enforce the security policy. The explanation shall provide rationale sufficient to demonstrate consistency. 10.4.4 Classes B2 and above products and their equivalent systems. The following shall be included in this section: 10.4.4.1 General. The TCB is based on a clearly defined and documented formal security policy model that requires the discretionary and mandatory access control enforcement found in Class Bl TCBs to be extended to all subjects and objects. Page 4 of 5 Pages B-24 APPENDIX B - SECURITY DIDS DI-MISC-81346 Block 10. PREPARATION INSTRUCTIONS (Continued) 10.4.4.2 Policy segment. The Formal Security Policy Model document shall provide all theorems used in the model for each security policy segment, using both mathematical statements and an English language description. Supporting rationale for-'Including the theorems shall be provided. The Formal Security Policy Model shall discuss how these theorems represent enforcement of the security policy. 10.4.4.3 Mechanisms segment The Formal Security Policy Model shall provide all theorems used in the model for the TCB protection mechanisms), using both mathematical statements and an English language description. Supporting rationale for including the theorems shall be provided. The Formal Security Policy Model shall discuss how these theorems represent the TCB protection mechanisms) and their enforcement of the security policy. 10.4.5 Seitment integration. The Formal Security Policy Model document shall include an introduction to the kinds of proofs that are provided, along with a rationale that explains why these proofs are sufficient to demonstrate that the TCB is secure with respect to the security properties modeled. The integration of the policy and abstract mechanism segments of the model shall include the following proofs: a. Proof that the model is consistent with its axioms, providing both the mathematical proofs and an English language description of the proofs. b. Proof that shows that the TCB represented in the model is sufficient to enforce the security policy. The Formal Security Policy Model document shall trace each of the following: (1) The security policy statements in the Philosophy of Protection Report to a formal mathematical statement. A cross reference matrix chart with detailed explanatory text may be used. (2) The formal mathematical statements back to its security policy statements in the Philosophy of Protection Report. A cross reference matrix chart with detailed explanatory text may be used. c. Proof for each of the theorems used in the model, both the mathematical proof and an English language description of the proof. Page 5 of 5 Pages B-25 APPENDIXB- SECURITY DIDS DATA ITEM DESCRIPTION Form Approved OMB No. 0704-0188 Public reportng burden for this col@on of information is estimated to average I 10 hours par response, including the time for revi*Mng instructions, searching existing data sources, @ring and rmintaining the d&U @. and completing and t*viewing the collection of information. Send comments regardirvg this burden estimate or any other aspect of this collection of information, Including suggestions for reducing this burden, to Washington Headquarters Services. Directorate for information Operations and Reports, 121S Jefferson Davis Highway. Suite 1204, Arlington VA 22202-4302, and to the Office of Manag*ment and Budget, Paperwork Reduction Pro@ (0704-0186), Washington, DC 20SO3. 1. TITLE 2. IDENTIFICATION NUMBER DESCRIPTIVE TOP LEVEL SPECIFICATION DI-MISC-81342 3. DESCRIPTION/PURPOSE 3.1 The Descriptive Top Level Specification (DTLS) is a top level specification using English language descriptions. It completely and accurately describes the trusted computing base (TCB) in terms of exceptions, error messages, and effects. The DTLS is an accurate description of the TCB interface. 4. APPROVAL DATE 5. OFFICE OF PRIMARY RESPONSIBILITY (OPR) 6a. DTIC APPLICABLE 6b. GIDEP APPLICABLE (YYMMDD) G/C71 930702 7. APPLICATIONANTERRELATIONSHIP 7.1 This Data Item Description (DID) contains the format and content preparation instructions for the data product generated under the work task described by 3.2.3.1.1, 3.2.3.2.2, 3.2.4.4, 3.3.3.2.3, and 4.1.3.2.2 of DOD-5200.28 STD, Department of Defense Trusted Computer System Evaluation Criteria. 7.2 This DID is applicable to any computer acquisition that calls for a DTLS as specified by DOD-5200.28 STD, Department of Defense Trusted Computer System Evaluation criteria (TCSEC) for TCB Classes B2 (Structured Protection), B3 (Security Domains), or Al (Verified Design) products and their equivalent systems. (Continued on Page 2) 9a. APPLICABLE FORMS 9b. AMSC NUMBER G6932 10.1 Source Document. The applicable issue of the documents cited herein, including their approval date, and dates of any applicable amendments and revisions shall be reflected in the contract. 10.2 Format. Document the DTLS as follows: a. Cover Sheet. Shall contain Title, Contract Number, Procuring Activity, Contractor Identification, Acquisition Program Name, disclaimers (as provided by the procuring activity contracting officer), date, version, number, security classification, and any other appropriate descriptive data. b. Errata Sheet. Shall contain sheets delimiting cumulative page changes from previous versions. c. Table of Contents. Include paragraph numbers, paragraph names, and page numbers. d. List of illustrations, diagrams, charts, and figures. e. Glossary of abbreviations, acronyms, terms, symbols, and notation used, and their definitions. f. Executive Summary, not to exceed two pages, that briefly describes the TCB's security-related capabilities. (Continued on Page 2) 1 1. DISTRIBUTIONSTATEMENT DistributionStatement A: This DID is approved for public release. Distribution is unlimited. B-27 DD Form 16K APR 89 Previous editions are ObSolete. Page 1 of 3 P ages 8. APPROVAL LIMITATION 1 0. PREPARATION INSTRUCTIONS COMPUTER SECURITY CDRL AND DID TUTORIAL DI-MISC-81342 Block 7. APPLICATION/INTERRELATIONSHIP (Continued) 7.3 The information required by 10.3 is required for all class products and their equivalent systems applicable to the DID as a whole. In addition, the information required in 10.3.1, 10.3.2, and 10.3.3 are necessary for various classes of products and their equivalent systems. Block 10. PREPARATION INSTRUCTIONS (Continued) g. Introduction. h. Body of the specification. i. Attachments j. Appendices. k. Bibliography. List reference sources and applicable documents. 1. Subjective index 10.2.1 Specific format instructions. a. Abbreviations and acronyms shall be defined when first used in the text and shall be placed in the glossary. b. Pages shall be numbered separately and consecutively using Arabic numerals. Blank pages shall be numbered. c. Paragraphs shall have a short descriptive title and shall be numbered consecutively using Arabic numerals. Numbering schemes beyond the fourth level (e.g., 4.1.2.5.8) are not permitted. d. Chapters shall begin on an odd-numbered (right hand) page. e. Column headings shall be repeated on subsequent pages if tabular material exceeds one page. f. Fold out pages shall be kept to a minimum. g. Paper shall be standard 8 1/2 x 11 inches, white, with black type. The type font shall be standard 10 pitch pica or courier, 12 pitch elite, or equivalent font. Either blocked text (left and right justified) or ragged right (left justified only) shall be used. h. At least one inch margins shall be provided all around to allow for drilling and binding. i. Either single- or double-sided printing shall be used. If double-sided, the document shall be printed or typed head-to-head, front-to-back. j. The specification shall be provided in standard three-ring notebook binders for ease of maintenance. 10.3 Content. The DTLS shall describe the security capabilities in functional terms and concepts, and therefore takes the broad form of a "security features functional description." It is traceable to the Formal Security Policy Model. The DTLS shall contain the following items: a. A summary of the security policy. This discussion shall be in enough detail to form the background for the following discussions. b An overview of the TCB design which describes how the reference monitor concept is implemented, gives an explanation of why the TCB is tamper-resistant, cannot be bypassed, and is correctly implemented. c. Description of all TCB functions and features that enforce the security policy. The description shall completely and accurately describe the TCB in terms of exceptions, error messages, and effects, and include: Page 2 of 3 Pages B-28 APPENDIXB- SECURITY DIDS DI-MISC-81342 Block 10. PREPARATION INSTRUCTIONS (Continued) (1) Mandatory access controls. (2) Discretionary access controls. (3) Security labels associated with subjects and objects. (4) Markings applied to external media. (5) TCB internal data bases. (6) Mapping between physical entities (e.g., users, files) and their logical representations (e.g., subjects, objects). (7) Policy rules used by the TCB to grant or deny access by subjects to objects (e.g., a subject's clearance must dominate an object's classification in order to be granted access). d. An accurate description of the TCB interface. e. A complete description of the user interface. 10.3.1 Classes B3 and Al products and their equivalent systems. The following shall be included in this section: a. A convincing argument shall be presented in the document to show that the DTLS is consistent with the Formal Security Policy Model. b. A description of the specific TCB protection mechanisms used to ensure trusted recovery functions. It shall also describe the TCB modules implementing interfaces of trusted recovery. 10.3.2 Class Al products and their equivalent systems. The DTLS shall include those components of the TCB that are implemented as hardware and/or firmware, if their properties are visible at the TCB interface. Page 3 of 3 Pages B-29 APPENDIX 8 - SECURITY DIDS DATA ITEM DESCRIPTION Form Approved OMB No. 0704-0188 Public reporting burden for this collection of information is estln%at*d to average II 0 hours per response, irkluding the time for revi@ng instructions, searching existing data sources, @ting and maintaining the data @, and completing and revievang the collection of Information. Send comments regarding this burden estimate Or any other aspect of this collection of information, inducing suggestions for reducing this burden, to Washi@n Headquart*rs Services, Directorate for lnforn%ation Operations arbd Rtports, 1215 Jefferson Davis H@ay,Suit*1204,ArlingtonVA 22202-4302,andtoth*OfflceofManag*montandBudget,PapamorkR*ductionProj@(0704-0188),Washington,DC 20SO3. 1. TITLE 2. IDENTIFICATION NUMBER FORMAL TOP LEVEL SPECIFICATION DI-MISC-81347 3. DESCRIPTION/PURPOSE 3.1 The Formal Top Level Specification (FTLS) is a mathematically precise abstract representation of the trusted computing base (TCB). The FTLS provides an accurate description of the TCB interface in terms of exceptions, error messages and effects. The FTLS includes hardware and firmware elements if their properties are visible at the TCB interface. 4. APPROVAL DATE 5. OFFICE OF PRIMARY RESPONSIBILITY (OPR) 6a. DTIC APPLICABLE 6b. GIDEP APPLICABLE (YYMMDD) G/C71 930702 7. APPLICATION/INTERRELATIONSHIP 7.1 This Data Item Description (DID) contains the format and content preparation instructions for the data product generated under the work task described by 4.1 and 4.1.3.2.2 of DOD-5200.28 STD, Department of Defense Trusted Computer System Evaluation Criteria. 7.2 This DID is applicable to any computer acquisition that calls for an FTLS as specified by DOD-5200.28 STD, Department of Defense Trusted Computer System Evaluation Criteria (TCSEC) for TCB Class Al (Verified Design) products and their equivalent systems. 9a. APPLICABLE FORMS 9b. AMSC NUMBER G6937 10.1 Source Document. The applicable issue of the documents cited herein, including their approval date, and dates of any applicable amendments and revisions shall be reflected in the contract. 10.2 Format. Document the FTLS as follows: a. Cover sheet. Shall contain Title, Contract Number, Procuring Activity, Contractor Identification, Acquisition Program Name, disclaimers (as provided by the procuring activity contracting officer), date, version number, security classification, and any other appropriate descriptive data. b. Errata Sheet. Shall contain sheets delimiting cumulative page changes from previous versions. c. Table of Contents. Shall contain paragraph numbers, paragraph names, and page numbers. d. List of illustrations, diagrams, charts, and figures. e. Glossary of abbreviations, acronyms, terms, symbols, and notation used, and their definition. List reference sources and applicable documents. (Continued on Page 2) 1 1. DISTRIBUTION STATEMENT Distribution Statement A: This DID is approved for public release. Distribution is unlimited. B-31 DD Form 1664, APR 89 Previous editions are obsolete Page 1 of 3 Pages 8. APPROVAL LIMITATION 10. PREPARATION INSTRUCTIONS COMPUTER SECURITY CDRL AND DID TUTORIAL DI-MISC-81347 Block 10. PREPARATION INSTRUCTIONS (Continued) f. Executive Summary, not to exceed two pages. g. Introduction. h. Body of the Report. i. Attachments. j. Appendices. k. Bibliography. 1. Subjective index. 10.2.1 Specific format instructions. a. Abbreviations and acronyms shall be defined when first used in the text and shall be placed in the glossary. b. Pages shall be numbered separately and consecutively using Arabic numerals. Blank pages shall be numbered. c. Paragraphs shall have a short descriptive title and shall be numbered consecutively using Arabic numerals. Numbering schemes beyond the fourth level (e.g., 4.1.2.5.8) are not permitted. d. Chapters shall begin on ' an odd-numbered (right hand) page. e. Either single- or double-sided printing shall be used. If double-sided, the document shall be printed or typed head-to-head, front-to-back. 10.3 General. The FTLS document shall contain the formal top level specification, its associated proofs and assurance arguments, and supporting explanations and documentation for the specification, proofs, and assurance arguments. 10.4 Content. 10.4.1 Supporting documentation. The FTLS shall provide background information supporting the specification effort. All of this background information is informal in nature and may be presented in English text, and graphic representation where appropriate. The following items shall be included as part of this information: a. An overview of the FTLS that explains the approach taken, the structure of the specification, what has been included and excluded in the specification, and how the specification relates to the Formal Security Policy Model. b. Identification of the portions of the FTLS that are implemented in hardware, software, and in firmwarp if their properties are visible at the TCB interface. c. A description of the specification/verification methodology chosen, and why it was selected. d. An introduction to the specification itself, to include identification of the users, subjects, objects, access modes, security labels, security properties, initial state, and operations that are part of the specification. e. Identification of the assumptions required by the specification, an explanation as to why they are required, and the consequences of violating the assumptions. f. A combination of formal and informal techniques (e.g., proofs and assurance arguments) that show that the FTLS is consistent with the Formal Security Policy Model. g. Identification of the axioms used in the proofs, why these axioms are needed, and how they are justified. Page 2 of 3 Pages B-32 APPENDIXB- SECURITY DIDS DI-MISC-81347 Block 10. PREPARATION INSTRUCTIONS (Continued) 10.4.2 The formal top level specification. The following shall be included in this section: a. As part of the FTLS document, the specification itself shall be presented in the formal mathematical notation of the specification technique chosen. The specification shall include abstract definitions of the functions the TCB performs and the unified protection mechanism required to satisfy the security policy (TCSEC Section 4.1), to include the following: (1) Representation of subjects, objects, modes of access, and security labels as they are implemented in the TCB. (2) Representation of hardware and firmware components of the TCB if their properties are visible at the TCB interface. (3) The set of security properties enforced by the TCB. (4) Representation of the initial state of the TCB. (.5) Representations of the operations performed by the TCB, including the effects, exceptions, and error messages for interface operations. (6) A (possibly empty) set of axioms used in the proofs. b. The FTLS shall include the abstract definitions of the hardware and firmware mechanisms that are used to support separate execution domains. 10.4.3 Proofs and arguments. this section shall contain, a combination of formal techniques (e.g., where verification tools exist) and informal techniques (e.g., convincing assurance arguments) to demonstrate that the FTLS is consistent with the Formal Security Policy Model. Page 3 of 3 Pages B-33 1. TITLE DESIGN SPECIFICATION 3. DESCRIPTIONIPURPOSE APPENDIX 8 - SECURITY DIDS DATA ITEM DESCRIPTION Form Approved OMB No. 0704-0188 Public reporting burden for this collection of Information Is estimated to average I 10 hours per response, Including the time for revi@ng instructions, searching existing data sources, th*ring and maintaining the data @. and compl"ng and revievang the collection of information. Send comments regarding this burden *stirmto or any other a"ct of this r@@ion of information, inducing @stions for @ng this burden, to Washington Headquarters Services. Directorate for lnforntation Operations and Reports, 121S J*fforson Davis Highway, Suits 1204, Arlington VA 22202-4302. and to the office of Management and Budget, Paperwork Reduction Prood (0704-0198), Washington, DC 20SO3. 2. IDENTIFICATION NUMBER DI-MCCR-81344 3.1 The Design Specification demonstrates the correct implementation and enforcement of the security policy throughout the trusted computing base (TCB). It shall explain the protection mechanisms of the TCB to the extent that the effect a change may have on the TCB can be evaluated prior to a technical change performed. 4. APPROVAL DATE 5. OFFICE OF PRIMARY RESPONSIBILITY (OPR) 6a. DT@C APPLICABLE 6b. GIDEP APPLICABLE (YYMMDD) G/C71 930702 7. APPLICATION/INTERRELATIONSHIP 7.1 This Data Item Description (DID) contains the format and content preparation instructions for the data product generated under the work task described by 2.1.3.1.1, 2.1.4.4, 2.2.3.1.1, 3.1.3.1.1, 3.1.4.4, 3.2.3.1.1, 3.2.3.1.4, 3.2.4.4, 3.3.3.1.1, 3.3.4.4, and 4.1.4.4 of DOD-5200.28 STD, Department of Defense Trusted Computer System Evaluation Criteria. 7.2. This DID is applicable to any computer acquisition that calls for a Design Specification as specified by DOD-5200.28 STD, Department of Defense Trusted Computer (Continued on Page 2) 9a. APPLICABLE FORMS 9b. AMSC NUMBER G6934 10.1 Source Document. The applicable issue of the documents cited herein, including their approval date, and dates of any applicable amendments and revisions shall be reflected in the contract. 10.2 Format. Document the Design Specification as follows: a. Cover Sheet. Shall contain Title, Contract Number, Procuring Activity, Contractor Identification, Acquisition Program Name, disclaimers (as provided by the procuring activity contracting officer), date, version, number, security classification, and any other appropriate descriptive data. b. Errata Sheet. Shall contain sheets delimiting cumulative page changes from previous versions. c. Table of Contents. Shall contain paragraph numbers, paragraph names, and page numbers. d. List of illustrations, diagrams, charts, and figures. e. Glossary of abbreviations, acronyms, terms, symbols, and notation used, and their definitions. f. Executive Summary, not to exceed two pages, that briefly describes the TCB's security-related capabilities. (Continued on Page 2) 1 1. DISTRIBUTION STATEMENT Distribution Statement A: This DID is approved for public release; distribution is unlimited. B-35 DD Form 1664, APR 89 Previous editions are obsoiete Page 1 of 4 Pages 8. APPROVAL LIMITATION 10. PREPARATION INSTRUCTIONS COMPUTER SECURITY CDRL AND DID TUTORIAL DI-MCCR-81344 Block 7, APPLICATION/INTERRELATIONSHIP (Continued) System Evaluation Criteria (TCSEC) for TCB Classes Cl (Discretionary Security Protection),and above, products or their equivalent systems. The Design Specification identifies and describes the TCB and its security features. 7.3 The information required by 10.3 is required for all class products and their equivalent systems applicable to the DDI as a whole. In addition, the information required in 10.3.1, 10.3.2, 10.3.3, 10.3.4, 10.3.5 and 10.3.6 are necessary for various classes of products and their equivalent systems. Block 10, PREPARATION INSTRUCTIONS (Continued) g. Introduction. h. Body of the Specification i. Attachments. 1. Subjective index. j. Appendices k. Bibliography. List reference sources and applicable documents. 10.2.1 Specific format instructions. a. Abbreviations and acronyms shall be defined when first used in the text and shall be placed in the glossary. b. Pages shall be numbered separately and consecutively using Arabic numerals. Blank pages shall be numbered. c. Paragraphs shall have a short descriptive title and shall be numbered consecutively using Arabic numerals. Numbering schemes beyond the fourth level (e.g., 4.1.2.5.8) are not permitted. d. Chapters shall begin on an odd-numbered (right hand) page. e. Column headings shall be repeated on subsequent pages if tabular material exceeds one page. f. Fold out pages shall be kept to a minimum. g. Paper shall be standard 8 1/2 x 11 inches, white, with black type. The type font shall be standard 10 pitch pica or courier, 12 pitch elite, or equivalent font. Either blocked text (left and right justified) or ragged right (left justified only) shall be used. h. At least one inch margins shall be provided all around to allow for drilling and binding. i. Either single or double sided printing may be used. If doublesided, the document shall be printed or typed head-to-head, front-to-back. j. The specification shall be provided in standard three-ring notebook binders for ease of maintenance. 10.3 Content. The Design Specification shall contain the following items: a. A statement of the security policy. This description shall be in enough detail to form the background for the design discussions. b. The Design Specification shall relate the security requirements to the architecture. c. An explanation of how the security policy is translated into a technical solution through the TCB hardware, software, and firmware. Page 2 of 4 Pages B-36 DI-MCCR-81344 Block 10, PREPARATION INSTRUCTIONS (Continued) 10.3.1 Classes Cl. C2 and Bl products and their equivalent systems. The following shall be inc uded in this section: a. Description of b. Description of c. Description of interference or tampering. d. Description of resources may be a defined APPENDIX B - SECURITY DIDS how the TCB is modularized (if modular). all interfaces between the TCB modules (if modular). how the TCB protects itself from external the resources which are controlled by the TCB. These subset of the subjects and objects. 10.3.2 Classes C2 and Bl products and their equivalent systems. The Design Specification shall describe how the TCB isolates the resources to be protected so that they are subject to the access control and auditing requirements. 10.3.3 Classes Bl products and their equivalent systems. The following shall be included in this section: a. Identification and description of the TCB protection mechanisms. b. An explanation to show that the TCB protection mechanisms satisfy the model. c. Description of how the TCB maintains process isolation through the provision of distinct address spaces under its control. 10.3.4 Classes B2 and above products and their equivalent systems. The following shall be included in this section: a. Description of how the TCB is structured to facilitate testing. b. Description of the different sets of privileges assigned to differing roles (e.g., users, administrators). c. Description of the design techniques involved in restricting covert storage channels. d. Description of the interfaces between the TCB modules. e. Description of how the TCB complies with additional B2 architecture requirements. The following requirements shall be described: 1) TCB maintenance of a domain for its own execution that protects it from external interference or tampering. 2) TCB maintenance of process isolation through the provision of distinct address spaces under its control. 3) Features in hardware, such as segmentation, used to support logically distinct storage objects with separate attributes (namely: readable, writable). 4) TCB modules structured such that the principle of least privilege is enforced. 5) TCB internally structured into well-defined largely independent modules. 6) Effective use of available hardware by TCB to separate those elements that are protection-critical from those that are not. f. Description of the trusted communication path between the TCB and user. Page 3 of 4 Pages B-37 COMPUTER SECURITY CDRL AND DID TUTORIAL DI-MCCR-81344 Block 10, PREPARATION INSTRUCTIONS (Continued) 10.3.5 Classes B3 and above products and their equivalent svstems. The following shall be included in this section: a. Description of the design techniques involved in restricting covert timing channels. b. Description of how the TCB complies with additional B3 architecture requirements. The following requirements shall be described: 1) Complete, conceptually simple protection mechanism with precisely defined semantics. The Design Specification shall describe how this mechanism plays a central role in enforcing the internal structuring of the TCB. 2) Significant use of layering, abstraction, and data hiding by the TCB. 3) Minimization of the complexity of the TCB, excluding the modules that are not protection-critical. c. The Design Specification shall describe the following for trusted recovery: 1) Anticipated classes of failures and discontinuities of operation handled by trusted recovery, automatically or using administrative procedures. 2) Trusted recovery philosophy (e.g., use of failure-atomicity in the design of TCB primitives, of non-atomic actions which allow recovery). 3) Warnings concerning the 'unanticipated' (i.e., rare) failures that can't be handled in a routine manner. d. Description of how the specific TCB protection mechanisms used ensuring trusted-recovery functions are available only to administrative users. 10.3.6 Class Al products and their equivalent svstems. The Design Specification shall describe the hardware, software, and firmware mechanisms not dealt with in the FTLS but strictly internal to the TCB (e.g., mapping registers, direct memory access I/O). Page 4 of 4 Pages B-38 DATA ITEM DESCRIPTION APPENDIX 8 - SECURITY DIDS Form Approved OMB No. 0704-0188 public reporting burden for this collection of information is estimated to average 110 hours per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining the data @. and completing and reviewing the collection of information. Send comments reguarding this burden estimate or any other a"