Anomaly Detection in a Digital Video Broadcasting System Using Timed Automata

Xiaoran Liu (Speaker), Q. Lin (Speaker), Verwer, S. E. (Speaker), Dmitri Jarnikov (Speaker)

Activity: Talk or presentationTalk or presentation at a workshop, seminar, course or other meeting


This paper focuses on detecting anomalies in a digital video broadcasting (DVB) system from providers’ perspective. We learn a probabilistic deterministic real timed automaton profiling benign behavior of encryption control in the DVB control access system. This profile is used as a one-class classifier. Anomalous items in a testing sequence are detected when the sequence is not accepted by the learned model
Period19 Jun 2017
Event titleLearnAut workshop: part of LICS'17: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science
Event typeWorkshop
LocationReykjavik, Iceland