Jingyu Hua Takashi Nishide Kouichi Sakurai Model-Based Intrusion Detection by Abstract Interpretation. 359-362 2010 SAINT http://doi.ieeecomputersociety.org/10.1109/SAINT.2010.107 conf/saint/2010 db/conf/saint/saint2010.html#HuaNS10