Computer Science – Cryptography and Security
Scientific paper
2010-03-19
Computer Science
Cryptography and Security
16 pages including proofs
Scientific paper
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.
No associations
LandOfFree
Unwinding Conditional Noninterference does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Unwinding Conditional Noninterference, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Unwinding Conditional Noninterference will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-127079