Secure information flow and pointer confinement in a Java-like language (0)

by A Banerjee, D A Naumann
Venue:In: Proc. of CSFW ’02