Synthesising Monitors from High-level Policies for the Safe Execution of Untrusted Software

[BrownRyan2008] Andrew Brown and Mark Ryan. Synthesising Monitors from High-level Policies for the Safe Execution of Untrusted Software. In Fourth Information Security Practice and Experience Conference (ISPEC 2008), Springer. 2008.
Links: [Google] [Google Scholar] [CiteSeer]