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))

A Model-Based Security Testing Approach for Automotive Over-The-Air Updates. / Mahmood, Shahid; Fouillade, Alexy; Nguyen, Hoang Nga; Shaikh, Siraj.

16th Workshop on Advances in Model Based Testing (A-MOST 2020). Vol. (In-press) 2020. p. (In-press).

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

Mahmood, S, Fouillade, A, Nguyen, HN & Shaikh, S 2020, 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), 16th Workshop on Advances in Model Based Testing (A-MOST 2020), Porto, Portugal, 23/03/20.
Mahmood S, Fouillade A, Nguyen HN, Shaikh S. 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). 2020. p. (In-press)
Mahmood, Shahid ; Fouillade, Alexy ; Nguyen, Hoang Nga ; Shaikh, Siraj. / A Model-Based Security Testing Approach for Automotive Over-The-Air Updates. 16th Workshop on Advances in Model Based Testing (A-MOST 2020). Vol. (In-press) 2020. pp. (In-press)
@inproceedings{3d6cda91ad224fc482909f3706d19f81,
title = "A Model-Based Security Testing Approach for Automotive Over-The-Air Updates",
keywords = "over-the-air updates, Automotive Cybersecurity, security testing, security testbed, model-based security testing, attack tree",
author = "Shahid Mahmood and Alexy Fouillade and Nguyen, {Hoang Nga} and Siraj Shaikh",
year = "2020",
month = "1",
day = "29",
language = "English",
volume = "(In-press)",
pages = "(In--press)",
booktitle = "16th Workshop on Advances in Model Based Testing (A-MOST 2020)",

}

TY - GEN

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

AU - Mahmood, Shahid

AU - Fouillade, Alexy

AU - Nguyen, Hoang Nga

AU - Shaikh, Siraj

PY - 2020/1/29

Y1 - 2020/1/29

KW - over-the-air updates

KW - Automotive Cybersecurity

KW - security testing

KW - security testbed

KW - model-based security testing

KW - attack tree

M3 - Conference proceeding

VL - (In-press)

SP - (In-press)

BT - 16th Workshop on Advances in Model Based Testing (A-MOST 2020)

ER -