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:101 - 17 self