Property-Based Integrity Monitoring Of Operating System Kernels