Identify Potential Attacks From Simulated Log Analysis
2020 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN)(2020)
摘要
Modern vehicles contain an ecosystem of several electronic units able to exchange data using the serial communication provided by the CAN bus. This protocol can be afflicted by a plethora of attacks that can expose the driver and the passengers to risks for their safety. In this paper we propose a method to detect potential attacks in automotive networks. We start from the analysis of a log obtained from a simulation and we consider a formal verification environment to verify whether the formal model we built from the log is safe. As a proof of concept, we evaluate the proposed method in a case study related to adaptive cruise control, to preliminarily demonstrate its effectiveness.
更多查看译文
关键词
ecosystem,electronic units,serial communication,CAN bus,automotive networks,formal verification environment,potential attacks,simulated log analysis,adaptive cruise control,modern vehicles
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络