Unwinding forward correctability
- 17 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. m88 37, 2-10
- https://doi.org/10.1109/csfw.1994.315952
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Noninterference and the composability of security propertiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Hookup security for synchronous machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Proving Noninterference and Functional Correctness Using TracesJournal of Computer Security, 1992
- Foundations of Ulysses: The Theory of SecurityPublished by Defense Technical Information Center (DTIC) ,1988
- Covert Channel CapacityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1987
- A Universal Theory of Information FlowPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1987
- An Experience Using Two Covert Channel Analysis Techniques On a Real System DesignPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986
- Security Policies and Security ModelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982
- Proving multilevel security of a system designPublished by Association for Computing Machinery (ACM) ,1977
- Security Kernel validation in practiceCommunications of the ACM, 1976