2010/03/19 by Chenyi Zhang, Zhang, Chenyi
Computer Science · #Advanced Malware Detection Techniques #Cloud Data Security Solutions #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing #cs.CR
paper · pdf · doi:10.48550/arxiv.1003.3893
16 pages including proofs
arxiv created 2010/03/19 · openalex publication_date 2010/03/19 · arxiv updated 2010/03/23 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Noninterference provides a control over information flow in a system for ensuring confidentiality and integrity properties. In the literature this notion has been well studied as transitive noninterference and intransitive noninterference. In this paper we define a framework on the notion of conditional noninterference, which allows to specify information flow policies based on the semantics of action channels. Our new policies subsume the policies of both transitive and intransitive noninterference, and support dynamic requirements such as upgrading and downgrading. We also present unwinding relations that are both sound and complete for the new policies.