Basic Search
Text Search
ASSIST Updates
Data updated: 10 Apr 2026.
Home
|
About Quick Search
|
ASSIST
|
ASSIST Updates
Document Details
Basic Search
Text Search
Document ID:
DI-MISC-81350
Scroll down to access document images
Overview
Title:
Trusted Computing Base Verification Report
Scope:
The Trusted Computing Base (TCB) Verification Report documents the results of verifying the correlation between the Descriptive TQp Level Specification (DTLS)or the Formal Top Level Specification (FTLS) of a TCB and its implementing programming language source statements.
Status:
Active
DID Date:
02-JUL-1993
Next Review Due:
01-JUL-1998
FSC/Area:
MISC
Doc Category:
Data Item Description
Responsibilities
DID Approval Authority:
NS
National Security Agency
Preparing Activity:
NS
National Security Agency
Coordination:
Full
Revision History
Click on column headings for a description of column content.
Media
Document Part Description
Dist Stmt
Document Date
Pages
Size
Base Document
A
02-JUL-1993
3
165.9 KB
NOTE: It is recommended that you use Adobe Reader v7.0 or higher for optimal download performance; older versions should continue to work, but downloading large files may appear to take longer, so please be patient in those cases.
About Quick Search
|
Contact Us
|
FAQ
|
ASSIST
|
Privacy and Security
|
Section 508 Compliance
|
Defense Standardization Program
WARNING: UNAUTHORIZED ACCESS TO THIS UNITED STATES GOVERNMENT COMPUTER SYSTEM AND SOFTWARE IS PROHIBITED BY PUBLIC LAW 99-474 (THE COMPUTER FRAUD AND ABUSE ACT OF 1986) AND CAN RESULT IN ADMINISTRATIVE, DISCIPLINARY OR CRIMINAL PROCEEDINGS.