Secure Information Flow and Pointer Confinement in a Java-like Language (2002)

by Anindya Banerjee , David A. Naumann
Venue:In IEEE Computer Security Foundations Workshop (CSFW
Citations:103 - 16 self