Operating System Structures to Support Security and Reliable Software
Open Access
- 1 December 1976
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 8 (4) , 409-445
- https://doi.org/10.1145/356678.356682
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- A comment on the confinement problemACM SIGOPS Operating Systems Review, 1975
- MonitorsCommunications of the ACM, 1974
- Protection and the control of information sharing in multicsCommunications of the ACM, 1974
- The UNIX time-sharing systemCommunications of the ACM, 1974
- Capability-based addressingCommunications of the ACM, 1974
- HYDRACommunications of the ACM, 1974
- Dynamic verification of operating system decisionsCommunications of the ACM, 1973
- Global variable considered harmfulACM SIGPLAN Notices, 1973
- Protection in programming languagesCommunications of the ACM, 1973
- A hardware architecture for implementing protection ringsCommunications of the ACM, 1972