Login / Signup
Xenoservers: Accountable Execution of Untrusted Programs.
Dickon Reed
Ian Pratt
Paul Menage
Stephen Early
Neil Stratford
Published in:
Workshop on Hot Topics in Operating Systems (1999)
Keyphrases
</>
security policies
control flow
program execution
symbolic execution
application programs
data sets
artificial intelligence
execution environment
automatic programming
database transactions
programming environment
answer sets
third party
business processes
response time
data model
databases