Anomaly Detection in a Digital Video Broadcasting System Using Timed Automata
A Fast Automaton-Based Method for Detecting Anomalous Program Behaviors