Specification of a Trusted Computing Base (TCB)

reportActive / Technical Report | Accession Number: ADA108831 | Open PDF

Abstract:

A Trusted Computing Base TCB is the totality of access control mechanisms for an operating system. A TCB should provide both a basic protection environment and the additional user services required for a trustworthy turnkey system. The basic protection environment is equivalent to that provided by a security kernel the user services are analogous to the facilities provided by trusted processes in kernel-based systems. This report documents the performance, design, and development requirements for a TCB for a general- purpose operating system. The information in this report is made available to stimulate technical discussion among industry and government personnel.

Author(s):
Nibaldi, G. H.
Author Organization(s):
MITRE CORP BEDFORD MA
Pagination:
0027

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
M79-228
Contract/Grant Number(s):
F19628-80-C-0001
Monitor Series:
USAF
 Subject Terms
Joint Capability Areas:
JCA_4.7.2_Installation Services; JCA_4.7_Base and Installations Support; JCA_5_Command and Control; JCA_6_Net Centric; JCA_5.2.3_Share Knowledge and Situational Awareness; JCA_5.2_Understand; JCA_6.4.1_Secure Information Exchange; JCA_6.4.2_Protect Data and Networks; JCA_6.4_Information Assurance; JCA_6.1_Information Transport; JCA_6.3_Net Management; JCA_3.2_Engagement; JCA_3_Force Application; JCA_1_Force Support; JCA_3.2.2_Non-Kinetic Means; JCA_5.4_Decide; JCA_5.4.3_Establish Rule Sets; JCA_1.3_Human Capital Management; JCA_4.3_Maintain
Modernization Areas:
Cyber
Communities of Interest:
Materials and Manufacturing Processes
Descriptor(s):
*DATA PROCESSING SECURITY, *COMPUTERS, CONTROL SYSTEMS, SPECIFICATIONS, COMPUTER ARCHITECTURE, MULTIPLE ACCESS
Field(s)/Group(s):
Computer Hardware, Computer Systems Management and Standards, Non-Radio Communications
Keyword(s):
Trusted computers, Computer security, Verification, Access control, TCB(Trusted Computing Bases), Multiprogramming
Report Date:
1979 Nov 30