Synthesising Monitors from High-Level Policies for the Safe Execution of Untrusted Software.
Andrew BrownMark RyanPublished in: ISPEC (2008)
Keyphrases
- high level
- low level
- source code
- software systems
- data flow
- execution traces
- computer systems
- control flow
- software development
- privacy preserving
- third party
- low level features
- user interface
- software tools
- information systems
- software package
- open source
- optimal policy
- software projects
- execution model
- revenue management
- neural network