Andrew Brown Mark Ryan Synthesising Monitors from High-Level Policies for the Safe Execution of Untrusted Software. 233-247 2008 ISPEC http://dx.doi.org/10.1007/978-3-540-79104-1_17 conf/ispec/2008 db/conf/ispec/ispec2008.html#BrownR08