Absorbing covers and intransitive non-interference
Open Access
- 19 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
The paper gives necessary and sufficient conditions for a system to satisfy intransitive non-interference. Security is defined in terms of allowable flows of information among action domains as represented by an interferes relation /spl sim/>. We examine properties of special sets called basis elements generated from the relation /spl sim/> and introduce the notion of absorbing covers which is associated with the standard unwinding theorems for non-interference. Our approach separates the equivalence relation arguments from the non-interference properties, and as a by product, we develop a decision procedure for non-interference. An upper bound on the number of iterations needed for termination of the procedure is provided.Keywords
This publication has 8 references indexed in Scilit:
- Noninterference and unwinding for LOCKPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A general theory of composition for trace sets closed under selective interleaving functionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A taxonomy of trace-based security properties for CCSPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Constructively using noninterference to analyze systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- 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
- Security Policies and Security ModelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982
- Design and verification of secure systemsPublished by Association for Computing Machinery (ACM) ,1981