Design of a Secure File Management System,

摘要

A file management/operating system based on the PDP-11/45Security Kernel is described. The system will allow complete sharing of files,subject to the control of the Security Kernel,so that problems brought about by the conflicting requirements for security and sharing can be identified and explored. It will provide a vehicle for experimentation with the extensions of the kernel required for multisource information correlation.