Visible to the public Eliminating Inter-Domain Vulnerabilities in Cyber-PhysicalSystems: An Analysis Contracts ApproachConflict Detection Enabled

TitleEliminating Inter-Domain Vulnerabilities in Cyber-PhysicalSystems: An Analysis Contracts Approach
Publication TypeConference Proceedings
Year of Publication2015
AuthorsIvan Ruchkin, Ashwini Rao, Dio De Niz, Sagar Chaki, David Garlan
Conference NameCPS-SPC '15 Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy
Date Published10/16/2015
PublisherACM New York, NY, USA ©2015
Conference LocationDenver, CO
ISBN Number978-1-4503-3827-1
KeywordsCMU, Cyber-physical systems; analysis contracts; sensor; control, Jan'16

Designing secure cyber-physical systems (CPS) is a particularly difficult task since security vulnerabilities stem not only from traditional cybersecurity concerns, but also physical ones. Many of the standard methods for CPS design make strong and unverified assumptions about the trustworthiness of physical devices, such as sensors. When these assumptions are violated, subtle inter-domain vulnerabilities are introduced into the system model. In this paper we use formal specification of analysis contracts to expose security assumptions and guarantees of analyses from reliability, control, and sensor security domains. We show that this specification allows us to determine where these assumptions are violated, opening the door to malicious attacks. We demonstrate how this approach can help discover and prevent vulnerabilities using a self-driving car example.

Citation Keynode-25017

Other available formats:

Ruchkin_Eliminating_Inter_Domain_Vulnerabilities_DG.pdfPDF document698.97 KBDownloadPreview