Using a Hybrid Automaton to Model the Protected System and Detect Anomalies in Network Traffic | IEEE Conference Publication | IEEE Xplore