A definition of secure dependencies using the logic of security
- 10 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Hookup security for synchronous machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A logic for reasoning about securityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Security models and information flowPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- The complexity of reasoning about knowledge and time. I. Lower boundsJournal of Computer and System Sciences, 1989
- Extending the Noninterference Version of MLS for SATIEEE Transactions on Software Engineering, 1987
- Unwinding and Inference ControlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1984