Expressing Security Properties Using Selective Interleaving Functions

Details Expressing Security Properties Using Selective Interleaving Functions Expressing Security Properties Using Selective Interleaving Functions

2006-08-03

arxiv.org/abs/cs/0608022v1

Computer Science

Cryptography and Security

Scientific paper

McLean's notion of Selective Interleaving Functions (SIFs) is perhaps the best-known attempt to construct a framework for expressing various security properties. We examine the expressive power of SIFs carefully. We show that SIFs cannot capture nondeducibility on strategies (NOS). We also prove that the set of security properties expressed with SIFs is not closed under conjunction, from which it follows that separability is strictly stronger than double generalized noninterference. However, we show that if we generalize the notion of SIF in a natural way, then NOS is expressible, and the set of security properties expressible by generalized SIFs is closed under conjunction.

Affiliated with

Also associated with

No associations

Rating

Expressing Security Properties Using Selective Interleaving Functions 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 Expressing Security Properties Using Selective Interleaving Functions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Expressing Security Properties Using Selective Interleaving Functions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-48819