A state-based approach to noninterference
- 17 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
We outline an alternative approach to modeling noninterference-style security policies using a state-based model (as opposed to an event-based or i/o-based model). We believe that this approach provides a richer, more intuitive formalism for security modeling than the event-based approach and provides a link to other current research in specification and verification of concurrent and distributed systems. We describe the state-based approach for deterministic and non-deterministic systems with both transitive and intransitive security policies.Keywords
This publication has 14 references indexed in Scilit:
- Noninterference and unwinding for LOCKPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- On the derivation of secure componentsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Toward a mathematical foundation for information flow securityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A hookup theorem for multilevel securityIEEE Transactions on Software Engineering, 1990
- Constructively using noninterference to analyze systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- Foundations of Ulysses: The Theory of SecurityPublished by Defense Technical Information Center (DTIC) ,1988
- Reasoning About Security ModelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1987
- Extending the Noninterference Version of MLS for SATIEEE Transactions on Software Engineering, 1987
- A Technique for Proving Specifications are Multilevel SecurePublished by Defense Technical Information Center (DTIC) ,1980
- Communicating sequential processesCommunications of the ACM, 1978