Specification of a Trusted Computing Base (TCB)

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 30, 1979
Accession Number
ADA108831

Entities

People

  • G. H. Nibaldi

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • Human Systems
  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Authentication
  • Computer Access Control
  • Computer Architecture
  • Computer Program Documentation
  • Computer Science
  • Computers
  • Computing System Architectures
  • Cybersecurity
  • Databases
  • Department Of Defense
  • Governments
  • Identification
  • Operating Systems
  • Standards
  • United States
  • User Interface
  • Verification

Fields of Study

  • Computer science

Readers

  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Housing Policy Studies in Military Families with Privatization and Telomerase Allowance Units, Multi-Family Housing, and Telomere Lengths.
  • Systems Analysis and Design