A Model-Based Security Testing Approach for Automotive Over-The-Air Updates

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Original languageEnglish
Title of host publication16th Workshop on Advances in Model Based Testing (A-MOST 2020)
Pages(In-press)
Volume(In-press)
Publication statusAccepted/In press - 29 Jan 2020
Event16th Workshop on Advances in Model Based Testing (A-MOST 2020) - Porto, Portugal
Duration: 23 Mar 202027 Mar 2020

Workshop

Workshop16th Workshop on Advances in Model Based Testing (A-MOST 2020)
Abbreviated titleICST2020
CountryPortugal
CityPorto
Period23/03/2027/03/20

Keywords

  • over-the-air updates
  • Automotive Cybersecurity
  • security testing
  • security testbed
  • model-based security testing
  • attack tree

Cite this

Mahmood, S., Fouillade, A., Nguyen, H. N., & Shaikh, S. (Accepted/In press). A Model-Based Security Testing Approach for Automotive Over-The-Air Updates. In 16th Workshop on Advances in Model Based Testing (A-MOST 2020) (Vol. (In-press), pp. (In-press))