Specification of a Trusted Computing Base (TCB)
G. H. Nibaldi · Defense Technical Information Center (DTIC) · 1979
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.