Towards Formalizing the Java Security Architecture of JDK 1.2.

Lora Kassab, Steven J. Greenwald

Browse the full ESORICS paper archive.