Expressive declassification policies and modular static enforcement (2008)

by A Banerjee, D A Naumann, S Rosenberg
Venue:In IEEE Symp. on Security and Privacy