Login / Signup
A dynamic per-context verification of kernel address integrity from external monitors.
Hojoon Lee
Minsu Kim
Yunheung Paek
Brent ByungHoon Kang
Published in:
Comput. Secur. (2018)
Keyphrases
</>
open environments
feature space
kernel function
contextual information
dynamic environments
formal verification
context dependent
context sensitive
database
context aware
support vector
multiscale
data sets
mobile robot
hidden markov models
model checking
databases
knowledge retrieval