Using access control for secure information flow in a Java-like language (2003)

by Anindya Banerjee, David A Naumann
Venue:In IEEE Computer Security Foundations Workshop (CSFW