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 …
Enabling security checking of automotive ECUs with formal CSP models
This paper presents an approach, using the process-algebra CSP, that aims to support
systematic security testing of ECU components. An example use case regarding Over-The …
systematic security testing of ECU components. An example use case regarding Over-The …