Sciweavers

76
Voted
CORR
2006
Springer
103views Education» more  CORR 2006»
15 years 16 days ago
Expressing Security Properties Using Selective Interleaving Functions
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...
Joseph Y. Halpern, Sabina Petride