Please use this identifier to cite or link to this item: http://hdl.handle.net/10125/41886

Identifying Implicit Component Interactions in Distributed Cyber-Physical Systems

File SizeFormat 
paper0737.pdf1.06 MBAdobe PDFView/Open

Item Summary

Title: Identifying Implicit Component Interactions in Distributed Cyber-Physical Systems
Authors: Jaskolka, Jason
Villasenor, John
Keywords: cybersecurity assurance
distributed cyber-physical systems
formal methods
implicit interactions
Issue Date: 04 Jan 2017
Abstract: Modern distributed systems and networks, like those found in cyber-physical system domains such as critical infrastructures, contain many complex interactions among their constituent software and/or hardware components. Despite extensive testing of individual components, security vulnerabilities resulting from unintended and unforeseen component interactions (so-called implicit interactions) often remain undetected. This paper presents a method for identifying the existence of implicit interactions in designs of distributed cyber-physical systems using the algebraic modeling framework known as Communicating Concurrent Kleene Algebra (C²KA). Experimental results verifying the applicability of C²KA for identifying dependencies in system designs that would otherwise be very hard to find are also presented. More broadly, this research aims to advance the specification, design, and implementation of distributed cyber-physical systems with improved cybersecurity assurance by providing a new way of thinking about the problem of implicit interactions through the application of formal methods.
Pages/Duration: 10 pages
URI/DOI: http://hdl.handle.net/10125/41886
ISBN: 978-0-9981331-0-2
DOI: 10.24251/HICSS.2017.726
Rights: Attribution-NonCommercial-NoDerivatives 4.0 International
Appears in Collections:Cybersecurity and Software Assurance Minitrack



Items in ScholarSpace are protected by copyright, with all rights reserved, unless otherwise indicated.