Static Dynamic Analysis of Security Metrics for Cyberphysical Systems

Abstract

We present an overview of the research project targeting security metrics. First we discuss our modeling framework, the approach for modeling adversaries, and security metrics. Next we describe two foundational problems related to analysis of metrics: (a) reachability for nonlinear hybrid systems and (b) algorithms and lower-bounds on the cost of privacy in distributed control. Next we discuss the application of our reachability-based algorithms in analyzing a parallel landing protocol and a modular cell-pacemaker network. This analysis brings together simulation-based analysis and ideas from input-to-state stability---a composition theorem from control theory. Finally, we discussed our ongoing work on synthesizing controllers for CPS with adversary attacks.