Expressing Security Properties Using Selective Interleaving Functions

Joseph Y. Halpern, Sabina Petride

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 exp…