Toward total-system trustworthiness
- 20 May 2022
- journal article
- editorial
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 65 (6), 32-35
- https://doi.org/10.1145/3532631
Abstract
Considering how to achieve the long-term goal to systemically reduce risks.This publication has 8 references indexed in Scilit:
- seL4 in AustraliaCommunications of the ACM, 2020
- A2: Analog Malicious HardwarePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2016
- Comprehensive formal verification of an OS microkernelACM Transactions on Computer Systems, 2014
- A Comparison of Commercial and Military Computer Security PoliciesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1987
- The Modular Structure of Complex SystemsIEEE Transactions on Software Engineering, 1985
- KSOS—Development methodology for a secure operating systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- Proof techniques for hierarchically structured programsCommunications of the ACM, 1977
- The structure of the “THE”-multiprogramming systemCommunications of the ACM, 1968