C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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