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...
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: | |
Online Access: | https://www.mdpi.com/2079-9292/11/11/1773 |
Similar Items
-
Formal verification of the pub-sub blockchain interoperability protocol using stochastic timed automata
by: Md Tauseef Alam, et al.
Published: (2023-09-01) -
Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking
by: Aaditya Prakash Chouhan, et al.
Published: (2020-08-01) -
Modeling and Verifying the CKB Blockchain Consensus Protocol
by: Meng Sun, et al.
Published: (2021-11-01) -
Deep Learning Architecture for Detecting SQL Injection Attacks Based on RNN Autoencoder Model
by: Maha Alghawazi, et al.
Published: (2023-07-01) -
Automatic Classification of Attacks on IP Telephony
by: Jakub Safarik, et al.
Published: (2013-01-01)