ModChecker: Kernel Module Integrity Checking in the Cloud Environment.

Irfan Ahmed Aleksandar Zoranic Salman Javaid Golden G. Richard III

Published in: ICPP Workshops (2012)

Keyphrases

integrity checking
integrity constraints
deductive databases
hard and soft constraints
constraint logic programming
kernel methods
semantic query optimization
kernel function
support vector
feature space
logic programming
search algorithm
first order logic
answer set programming