Expressive declassification policies and modular static enforcement. (2008)

by A Banerjee, D A Naumann, S Rosenberg
Venue:In IEEE S&P,