Cybersecurity testing for automotive domain: A survey
F Luo, X Zhang, Z Yang, Y Jiang, J Wang, M Wu… - Sensors, 2022 - mdpi.com
Modern vehicles are more complex and interconnected than ever before, which also means
that attack surfaces for vehicles have increased significantly. Malicious cyberattacks will not …
that attack surfaces for vehicles have increased significantly. Malicious cyberattacks will not …
A review on automatic generation of attack trees and its application to automotive cybersecurity
A comprehensive cybersecurity evaluation of automotive on-board networks has become a
crucial antecedent to the commercial distribution of vehicles. However, the means to perform …
crucial antecedent to the commercial distribution of vehicles. However, the means to perform …
[HTML][HTML] Systematic threat assessment and security testing of automotive over-the-air (OTA) updates
Modern cars host numerous special-purpose computing and connectivity devices facilitating
the correct functioning of various in-vehicle systems. These devices host complex software …
the correct functioning of various in-vehicle systems. These devices host complex software …
Survey of model-based security testing approaches in the automotive domain
Modern connected or autonomous vehicles (AVs) are highly complex cyber-physical
systems. As a result of the high number of different technologies and connectivity features …
systems. As a result of the high number of different technologies and connectivity features …
Modeling cyberattack propagation and impacts on cyber-physical system safety: An experiment
T Serru, N Nguyen, M Batteux, A Rauzy - Electronics, 2022 - mdpi.com
In this article, we present an experiment we conducted with discrete event simulations to
analyze the effects of multi-step cyberattacks on the safety of cyber-physical systems. We …
analyze the effects of multi-step cyberattacks on the safety of cyber-physical systems. We …
A template-based method for the generation of attack trees
Attack trees are used in cybersecurity analysis to give an analyst a view of all the ways in
which an attack can be carried out. Attack trees can become large, and developing them by …
which an attack can be carried out. Attack trees can become large, and developing them by …
Applying security testing techniques to automotive engineering
Over the past few decades, the automotive industry was mostly focused on testing the safety
aspects of a vehicle. However, this was not the case with security testing as it only began to …
aspects of a vehicle. However, this was not the case with security testing as it only began to …
Formal Template-Based Generation of Attack–Defence Trees for Automated Security Analysis
Systems that integrate cyber and physical aspects to create cyber-physical systems (CPS)
are becoming increasingly complex, but demonstrating the security of CPS is hard and …
are becoming increasingly complex, but demonstrating the security of CPS is hard and …
[HTML][HTML] A formal framework for security testing of automotive over-the-air update systems
Modern vehicles are comparable to desktop computers due to the increase in connectivity.
This fact also extends to potential cyber-attacks. A solution for preventing and mitigating …
This fact also extends to potential cyber-attacks. A solution for preventing and mitigating …
A model-based security testing approach for automotive over-the-air updates
Modern connected cars are exposed to various cybersecurity threats due to the
sophisticated computing and connectivity technologies they host for providing enhanced …
sophisticated computing and connectivity technologies they host for providing enhanced …