Abstract-In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use of just-in-time (JIT) compilation makes it difficult to implement monitoring by modifying the language runtime system. An inliner avoids this problem and also serves to provide monitoring for more than one runtime. We show how to inline an information flow monitor, specifically a flow sensitive one previously proved to enforce termination insensitive noninterference. We prove that the inlined version is observationally equivalent to the original.
Chudnov and Naumann REF propose a provably correct inliner for an information flow monitor.
Information Flow Monitor Inlining
2010 23rd IEEE Computer Security Foundations Symposium
2010 23rd IEEE Computer Security Foundations Symposium
Computer Science