Towards Formalizing the Java Security Architecture of JDK 1.2

Lora Kassab, Steven J. Greenwald. Towards Formalizing the Java Security Architecture of JDK 1.2. In Jean-Jacques Quisquater, Yves Deswarte, Catherine Meadows, Dieter Gollmann, editors, Computer Security - ESORICS 98, 5th European Symposium on Research in Computer Security, Louvain-la-Neuve, Belgium, September 16-18, 1998, Proceedings. Volume 1485 of Lecture Notes in Computer Science, pages 191-207, Springer, 1998. [doi]

Authors

Lora Kassab

This author has not been identified. Look up 'Lora Kassab' in Google

Steven J. Greenwald

This author has not been identified. Look up 'Steven J. Greenwald' in Google