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: IEEE Trans. Inf. Forensics Secur. (2019)
Keyphrases
- formal analysis
- intrusion detection system
- computer networks
- intrusion detection
- network security
- distributed intrusion detection
- anomaly detection
- network traffic
- network intrusion detection
- computer systems
- formal methods
- aspect ratio
- attack detection
- ban logic
- network attacks
- power consumption
- text classification
- information systems
- unauthorized access
- data mining