Communications of the ACM
A hardware architecture for implementing protection rings
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Programming semantics for multiprogrammed computations
Communications of the ACM
The Cambridge CAP computer and its protection system
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
Implications of a virtual memory mechanism for implementing protection in a family of operating systems
Systematic protection mechanism design
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
| Hi-index | 0.00 |