Reference Publications
Intrusion Detection
- Dorothy E. Denning, An Intrusion-Detection Model (local copy), IEEE Transactions on Software Engineering, 13(2):222-232, February 1987
- H. Debar, M. Dacier, and A. Wespi, Towards a Taxonomy of Intrusion Detection Systems. Computer Networks, 31(8):805--822, 1999
Java-Based Operating Systems
- Michael Golm, Meik Felser, Christian Wawersich, Jurgen Kleinoeder, The JX Operating System (local copy), 2002 USENIX Annual Technical Conference
Grzegorz Czajkowski, Thorsten von Eicken, JRes: A Resource Accounting Interface for Java (local copy), OOPSLA '98
Bytecode Instrumentation
Ajay Chander, John C. Mitchell, Mobile Code Security by Java Bytecode Instrumentation (local copy), DISCEX II
Protection Domains
- Chris Hawblitzel, Chi-Chao Chang, Grzegorz Czajkowski, Deyu Hu, Thorsten von Eicken, Implementing Multiple Protection Domains in Java (local copy), 1998 USENIX Annual Technical Conference
- Li Gong, Roland Schemers, Implementing Protection Domains in the Java Development Kit 1.2 (local copy), 1988 Internet Society Symposium on Network and Distributed System Security
Stack Inpection
- Cedric Fournet, Andrew D. Gordon, Stack Inspection: Theory and Variants (local copy), POPL '02
Termination
- Algis Rudys, Dan S. Wallach, Termination in Language-based Systems (local copy), TISSEC '02
Class Loading
- Sheng Liang, Gilad Bracha, Dynamic Class Loading in the Java Virtual Machine (local copy), OOPSLA '98
- Li Gong, Secure Java Class Loading (local copy), IEEE Internet Computing 1998