A Model-Driven Methodology for Automotive Cybersecurity Test Case Generation

07/13/2021
by   Stefan Marksteiner, et al.
0

Through international regulations (most prominently the latest UNECE regulation) and standards, the already widely perceived higher need for cybersecurity in automotive systems has been recognized and will mandate higher efforts for cybersecurity engineering. T he UNECE also demands the effectiveness of these engineering to be verified and validated through testing. T his requires both a significantly higher rate and more comprehensiveness of cybersecurity testing that is not effectively to cope with using current, predominantly manual, automotive cybersecurity testing techniques. To allow for comprehensive and efficient testing at all stages of the automotive life cycle, including supply chain parts not at band, and to facilitate efficient third party testing, as well as to test under real-world conditions, also methodologies for testing the cybersecurity of vehicular systems as a black box are necessary. T his paper therefore presents a model and attack tree-based approach to (semi-)automate automotive cybersecurity testing, as well as considerations for automatically black box-deriving models for the use in attack modeling.

READ FULL TEXT

page 1

page 2

page 3

page 4

page 5

page 6

research
07/15/2021

Using Cyber Digital Twins for Automated Automotive Cybersecurity Testing

Cybersecurity testing of automotive systems has become a practical neces...
research
08/14/2020

An Efficient Model Inference Algorithm for Learning-based Testing of Reactive Systems

Learning-based testing (LBT) is an emerging methodology to automate iter...
research
06/11/2020

Protecting Against Image Translation Deepfakes by Leaking Universal Perturbations from Black-Box Neural Networks

In this work, we develop efficient disruptions of black-box image transl...
research
03/06/2023

A Systematic Approach to Automotive Security

We propose a holistic methodology for designing automotivesystems that c...
research
01/25/2021

A Process to Facilitate Automated Automotive Cybersecurity Testing

Modern vehicles become increasingly digitalized with advanced informatio...
research
01/18/2023

Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing

Attacks like Spectre abuse speculative execution, one of the key perform...
research
07/09/2022

Development and Testing of a Smart Bin toward Automated Rearing of Black Soldier Fly Larvae

The Black Soldier Fly (BSF), can be an effective alternative to traditio...

Please sign up or login with your details

Forgot password? Click here to reset