.bp
.sh 1 REFERENCES
.sp 2
.ip [TCSEC]
Dod 5200.28-STD, Department of Defense Trusted Computer System
Evaluation Criteria, 15 August 1985.
.sp 2
.ip [KSOS85]
Logicon, Kernelized Secure Opearting System (KSOS): Migration to VAX
Architecture, Feasibility Study.
.sp 2
.ip [McKu83]
McKusick, et. al., "A Fast File System for UNIX", in Volume 2c of The
UNIX Programmers Manual, August 1983.
.sp 2
.ip [Perr84]
Perrine, et. al., "An Overview of the Kernelized Secure Operating
System (KSOS)", in Proceedings of the Seventh DoD/NBS Compueter
Security Conference.

