Model Checking Resiliency and Sustainability of In-Vehicle Network for Real-Time Authenticity
The Controller Area Network (CAN) is the most common network system in automotive systems. However, the standardized design of a CAN protocol does not consider security issues, so it is vulnerable to various security attacks from internal and external electronic devices. Recently, in-vehicle network...
| Main Authors: | , , |
|---|---|
| 格式: | 文件 |
| 语言: | English |
| 出版: |
MDPI AG
2021-01-01
|
| 丛编: | Applied Sciences |
| 主题: | |
| 在线阅读: | https://www.mdpi.com/2076-3417/11/3/1068 |