Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities

被引：2

作者：

Bandur, Victor ^{[1
]}

Lawford, Mark ^{[1
]}

Mosser, Sebastien ^{[1
]}

Paige, Richard F. ^{[1
]}

Pantelic, Vera ^{[1
]}

Wassyng, Alan ^{[1
]}

机构：

[1] McMaster Univ, McMaster Ctr Software Certificat, Hamilton, ON, Canada

来源：

COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2023 WORKSHOPS | 2023年 / 14182卷

关键词：

D O I：

10.1007/978-3-031-40953-0_1

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We discuss an approach to modifying a safety assurance case to take into account malicious intent. We show how to analyze an existing assurance case to reveal additions and modifications that need to be made in order to deal with the effects of malicious intent aimed at safety critical applications, and where to make them.

引用

页码：5 / 14

页数：10

共 11 条

[1]

[Anonymous], 2018, ISO 26262

[2] Systematic Evaluation of (Safety) Assurance Cases [J].

Chowdhury, Thomas ;

Wassyng, Alan ;

Paige, Richard F. ;

Lawford, Mark .

COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2020, 2020, 12234 :18-33

[3] Safe and Secure Automotive Over-the-Air Updates [J].

Chowdhury, Thomas ;

Lesiuta, Eric ;

Rikley, Kerianne ;

Lin, Chung-Wei ;

Kang, Eunsuk ;

Kim, BaekGyu ;

Shiraishi, Shinichi ;

Lawford, Mark ;

Wassyng, Alan .

COMPUTER SAFETY, RELIABILITY, AND SECURITY (SAFECOMP 2018), 2018, 11093 :172-187

[4] Devil's in the Detail: Through-Life Safety and Security Co-assurance Using SSAF [J].

Johnson, Nikita ;

Kelly, Tim .

COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2019, 2019, 11698 :299-314

[5]

Jurjens J., 2002, "UML" 2002 - Unified Modeling Language. Model Engineering, Concepts, and Tools. 5th International Conference. Proceedings (Lecture Notes in Computer Science Vol.2460), P412

[6] DAG-based attack and defense modeling: Don't miss the forest for the attack trees [J].

Kordy, Barbara ;

Pietre-Cambacedes, Ludovic ;

Schweitzer, Patrick .

COMPUTER SCIENCE REVIEW, 2014, 13-14 :1-38

[7]

Macher G, 2015, DES AUT TEST EUROPE, P621

[8]

SAE Vehicle Electrical System Security Committee, 2016, SAE J3061- Cybersecurity Guidebook for Cyber-Physical Automotive Systems

[9]

Uptane, Securing Software Updates for Automobiles

[10] Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards? [J].

Wassyng, Alan ;

Singh, Neeraj Kumar ;

Geven, Mischa ;

Proscia, Nicholas ;

Lawford, Mark ;

Maibaum, Tom ;

Wang, Hao .

IEEE DESIGN & TEST, 2015, 32 (05) :45-55

← 1 2 →