Proving abstract noninterference (2004)

by R Giacobazzi, I Mastroeni
Venue:In Proc. CSL, volume 3210 of LNCS