Secure information flow and pointer confinement in a java-like language. (2002)

by A Banerjee, D A Naumann
Venue:In Proceedings of the IEEE Computer Security Foundations Workshop,