Model-Based Intrusion Detection by Abstract Interpretation | IEEE Conference Publication | IEEE Xplore