Accession Number:

ADA055171

Title:

Multics Security Kernel Certification Plan

Descriptive Note:

Corporate Author:

HONEYWELL INFORMATION SYSTEMS INC MCLEAN VA FEDERAL SYSTEM OPERATIONS

Personal Author(s):

Report Date:

1976-07-01

Pagination or Media Count:

49.0

Abstract:

This report describes the methodology for formal certification approach of a security kernel implementation with respect to the top-level specifications of that kernel. An illustration of the proofs of correspondence between the kernel specifications and the desired multilevel properties the security model is included in the report. This methodology developed by Stanford Research Institute employs a formal hierarchical decomposition of the design, with formally stated specifications for each desired property. The report describes this methodology and its application to the task of developing the certifiable security kernels for Multics and the Secure Front-End Processor SFEP.

Subject Categories:

  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE