BehaviorKI: Behavior Pattern Based Runtime Integrity Checking for Operating System Kernel.
Xinyue FengQiusong YangLin ShiQing WangPublished in: QRS (2018)
Keyphrases
- operating system
- integrity checking
- integrity constraints
- computer systems
- deductive databases
- hard and soft constraints
- microsoft windows
- constraint logic programming
- memory management
- virtual machine
- distributed systems
- application level
- red hat
- windows xp
- virtual memory
- operating environment
- address space
- application programmer
- open source
- data mining