Modelling declassification policies using abstract domain completeness. (2011)

by I Mastroeni, A Banerjee
Venue:Mathematical Structures in Computer Science,