CORR
2006
Springer
13 years 11 months ago
2006
Springer
McLean's notion of Selective Interleaving Functions (SIFs) is perhaps the bestknown attempt to construct a framework for expressing various security properties. We examine th...