The PER model of abstract noninterference (2005)

by S Hunt, I Mastroeni
Venue:In Proc. SAS, volume 3672 of LNCS. SV