Expressive Declassification Policies and Modular Static Enforcement

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]

Authors

Anindya Banerjee

This author has not been identified. Look up 'Anindya Banerjee' in Google

David A. Naumann

This author has not been identified. Look up 'David A. Naumann' in Google

Stan Rosenberg

This author has not been identified. Look up 'Stan Rosenberg' in Google