J-Kernel: A capability-based operating system for Java (1999)

by T VON EICKEN, C CHANG, G CZAJKOWSKI, C HAWBLITZEL, D HU, D SPOONHOWER
Venue:In Secure Internet Programming, Security Issues for Mobile and Distributed Objects