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

Andrew Brown, Mark Ryan

Browse the full ISPEC paper archive.