Anomaly Detection in a Digital Video Broadcasting System Using Timed Automata.
Xiaoran LiuQin LinSicco VerwerDmitri JarnikovPublished in: CoRR (2017)
Keyphrases
- digital video
- anomaly detection
- timed automata
- model checking
- intrusion detection
- digital audio
- theorem prover
- detecting anomalies
- digital tv
- network intrusion detection
- multimedia
- video data
- theorem proving
- network traffic
- first order logic
- anomalous behavior
- digital television
- network anomaly detection
- real time systems
- video content
- intrusion detection system
- one class support vector machines
- unsupervised learning
- content based access