DocumentCode
564706
Title
Kernel Isolation for the PDP-11/70
Author
Millen, Jonathan K.
Author_Institution
MITRE Corp.
fYear
1982
fDate
26-28 April 1982
Firstpage
57
Lastpage
57
Abstract
A security kernel is that part of operating system software responsible for controlling access to files and other resources. This report gives a paradigm for showing that a kernel can protect itself from destruction or tampering by user software, on the basis of the hardware and kernel software properties. An illustrative proof is carried out for DEC PDP-11 /70 hardware, with kernel properties that would be typical for this machine.
Keywords
Hardware; Kernel; Memory management; Radiation detectors; Registers; Security;
fLanguage
English
Publisher
ieee
Conference_Titel
Security and Privacy, 1982 IEEE Symposium on
Conference_Location
Oakland, CA, USA
ISSN
1540-7993
Print_ISBN
0-8186-0410-7
Type
conf
DOI
10.1109/SP.1982.10004
Filename
6234472
Link To Document