@inproceedings{215b5161ae424e16b66f596343a6d495,
title = "Information flow control using the Java Virtual Machine Tool Interface (JVMTI)",
abstract = "We present an information flow control (IFC) system which monitors information leakage in single-threaded Java programs. Our implementation uses the Java Virtual Machine Tool Interface (JVMTI) and adapts the algorithms of Le Guernic et al. [1] for this purpose. We also offer a generic rule set for enforcing IFC. One advantage of our approach is that it is dynamic, so that we are only concerned with the security of the current execution of a program, not all possible executions. Our system tracks flow at the level of primitive Java fields, allowing precise control over the information that is monitored. Further, no modifications to the Java Virtual Machine (JVM) are needed for our system to work.",
keywords = "Dynamic flow control, Indirect information flow, Information flow control, Java, Java Virtual Machine Tool Interface.), Non-interference",
author = "Jason Howarth and Irfan Altas and Barney Dalgarno",
year = "2010",
doi = "10.1109/ARES.2010.75",
language = "English",
isbn = "9781424458790",
series = "ARES 2010 - 5th International Conference on Availability, Reliability, and Security",
publisher = "IEEE, Institute of Electrical and Electronics Engineers",
pages = "689--695",
editor = "Tjoa, {A Min} and Gerald Quirchmayr",
booktitle = "ARES 2010 - 5th International Conference on Availability, Reliability, and Security",
address = "United States",
note = "5th International Conference on Availability, Reliability, and Security, ARES 2010 ; Conference date: 15-02-2010 Through 18-02-2010",
}