Shape of the Cloak: Formal Analysis of Clock Skew-Based Intrusion Detection System in Controller Area Networks.
Xuhang YingSang Uk SagongAndrew ClarkLinda BushnellRadha PoovendranPublished in: CoRR (2018)
Keyphrases
- formal analysis
- intrusion detection system
- computer networks
- intrusion detection
- network security
- anomaly detection
- distributed intrusion detection
- network traffic
- network intrusion detection
- aspect ratio
- attack detection
- computer systems
- formal methods
- ban logic
- agent model
- alert correlation
- power consumption
- software engineering
- machine learning
- real world
- network attacks
- misuse detection
- databases