Hiromasa Shimada, Tatsuo Nakajima. Automatic Invariant Generation for Monitoring OS Kernel Integrity. In 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2012, Seoul, Korea (South), August 19-22, 2012. pages 408-410, IEEE Computer Society, 2012. [doi]
Abstract is missing.