Formal methods to improve the identification and validation of network traffic.
Michael FinsterbuschJean-Alexander MullerPublished in: ICNP (2013)
Keyphrases
- network traffic
- formal methods
- intrusion detection
- traffic analysis
- network bandwidth
- computer networks
- network intrusion detection
- knowledge based systems
- anomaly detection
- network security
- network traffic data
- network monitoring
- long range dependence
- network resources
- intrusion detection system
- artificial intelligence
- expert systems
- internet traffic
- model checking
- database systems
- knowledge base
- information systems
- real world