Mechanisms for secure modular programming in Java.   [PDF, BibTeX, ]
Lujo Bauer, Andrew W. Appel, and Edward W. Felten.
Software—Practice and Experience, 33 (5) 461--480. 2003. Wiley. © Wiley  DOI:10.1002/spe.516