Noninterference and unwinding for LOCK
- 13 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Noninterference and the composability of security propertiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Specifications for Multi-Level Security and a Hook-UpPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1987
- Extending the Noninterference Version of MLS for SATIEEE Transactions on Software Engineering, 1987
- An Experience Using Two Covert Channel Analysis Techniques On a Real System DesignPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986
- Unwinding and Inference ControlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1984