Security Kernel Design and Implementation: An Introduction

Publisher Website

1 July 1983

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer

Vol. 16 (7), 14-22
https://doi.org/10.1109/mc.1983.1654439

Abstract

No abstract available

Keywords

This publication has 8 references indexed in Scilit:

The Best Available Technologies for Computer Security
Computer, 1983
A Security Kernel for a Multiprocessor Microcomputer
Computer, 1983
Scomp: A Solution to the Multilevel Security Problem
Computer, 1983
Verifying Security
ACM Computing Surveys, 1981
Specification and verification of the UCLA Unix security kernel
Communications of the ACM, 1980
The Cambridge CAP computer and its protection system
Published by Association for Computing Machinery (ACM) ,1977
Structured specification of a Security Kernel
Published by Association for Computing Machinery (ACM) ,1975
A hardware architecture for implementing protection rings
Communications of the ACM, 1972

Cited by 56 articles