A Formal Model to Facilitate Security Testing in Modern Automotive Systems

Autor:	Santos, Eduardo dos, Simpson, Andrew, Schoop, Dominik
Rok vydání:	2018
Předmět:	Computer Science - Cryptography and Security Computer Science - Software Engineering D.2.4 D.4.6
Zdroj:	EPTCS 271, 2018, pp. 95-104
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.271.7
Popis:	Ensuring a car's internal systems are free from security vulnerabilities is of utmost importance, especially due to the relationship between security and other properties, such as safety and reliability. We provide the starting point for a model-based framework designed to support the security testing of modern cars. We use Communicating Sequential Processes (CSP) to create architectural models of the vehicle bus systems, as well as an initial set of attacks against these systems. While this contribution represents initial steps, we are mindful of the ultimate objective of generating test code to exercise the security of vehicle bus systems. We present the way forward from the models created and consider their potential integration with commercial engineering tools Comment: In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1805.05520 Zobrazit plný text záznamu View this record from Arxiv