Protection and the control of information sharing in multics
Communications of the ACM
The nucleus of a multiprogramming system
Communications of the ACM
Dynamic verification of operating system decisions
Communications of the ACM
HYDRA: the kernel of a multiprocessor operating system
Communications of the ACM
Sharing data and services in a virtual machine system
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
The enforcement of security policies for computation
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Protection: principles and practice
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Verifiable secure operating system software
AFIPS '74 Proceedings of the May 6-10, 1974, national computer conference and exposition
| Hi-index | 0.00 |