Expressing Security Properties Using Selective Interleaving Functions

Joseph Y. Halpern Sabina Petride Expressing Security Properties Using Selective Interleaving Functions http://arxiv.org/abs/cs/0608022 2006 CoRR abs/cs/0608022 db/journals/corr/corr0608.html#abs-cs-0608022 informal publication