Resolving covert channels within a B2 class secure system

1 July 1985

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGOPS Operating Systems Review

Vol. 19 (3) , 9-28
https://doi.org/10.1145/850776.850778

Abstract

For a secure computer system in the B2, B3 and A1 classes (as defined by the DoD Trusted Computer System Evaluation Criteria), the problem of confining a process such that it may not transmit information in violation of the *-property is an analyzable and solvable problem.This paper examines the problem of covert channels and attempts to analyze and resolve them relative to satisfying the B2 security requirements. A novel solution developed for the Multics computer system for a class of covert channels is presented.

Keywords

This publication has 3 references indexed in Scilit:

Program confinement in KVM/370
Published by Association for Computing Machinery (ACM) ,1977
A comment on the confinement problem
ACM SIGOPS Operating Systems Review, 1975
A note on the confinement problem
Communications of the ACM, 1973