Anindya Banerjee, David A. Naumann, Stan Rosenberg. Expressive Declassification Policies and Modular Static Enforcement. In 2008 IEEE Symposium on Security and Privacy (S&P 2008), 18-21 May 2008, Oakland, California, USA. pages 339-353, IEEE Computer Society, 2008. [doi]
Abstract is missing.