A Formal Modeling and Verification Scheme with an RNN-Based Attacker for CAN Communication System Authenticity

A Formal Modeling and Verification Scheme with an RNN-Based Attacker for CAN Communication System Authenticity

To enhance the attack resistance of the Controller Area Network (CAN) system and optimize the communication software design, a comprehensive model that combines a variable attacker with the CAN bus (VACB) is proposed to evaluate the bus communication risk. The VACB model consists of a variable attac...

Full description

Bibliographic Details
Main Authors: Yihua Wang, Qing Zhou, Yu Zhang, Xian Zhang, Jiahao Du
Format: Article
Language:English
Published: MDPI AG 2022-06-01
Series:Electronics
Subjects:
controller area network bus
anti-attack
attack traffic generation
recurrent neural network
model checking
UPPAAL
Online Access:https://www.mdpi.com/2079-9292/11/11/1773

Similar Items

Similar Items