Jingyu Hua, Takashi Nishide, Kouichi Sakurai. Model-Based Intrusion Detection by Abstract Interpretation. In Tenth Annual International Symposium on Applications and the Internet, SAINT 2010, Seoul, Korea, 19-23 July, 2010, Proceedings. pages 359-362, IEEE Computer Society, 2010. [doi]
Abstract is missing.