Using Access Control for Secure Information Flow in a Java-like Language

Anindya Banerjee, David A. Naumann. Using Access Control for Secure Information Flow in a Java-like Language. In 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June - 2 July 2003, Pacific Grove, CA, USA. pages 155-169, IEEE Computer Society, 2003. [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