Thorsten von Eicken Chi-Chao Chang Grzegorz Czajkowski Chris Hawblitzel Deyu Hu Dan Spoonhower J-Kernel: A Capability-Based Operating System for Java. 369-393 1999 conf/ecoopw/1999secure Secure Internet Programming db/conf/ecoopw/secure99.html#EickenCCHHS99