Static analysis based invariant detection for commodity operating systems.

Feng Zhu Jinpeng Wei

Published in: Comput. Secur. (2014)

Keyphrases

operating system
static analysis
dynamic analysis
computer systems
source code
virtual machine
anti virus
distributed systems
regular expressions
windows xp
virtual memory
application programs
operating environment
anomaly detection
client server
database
multi tasking
discretionary access control