Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems - October 2014

Public Audience
Purpose: To highlight project progress. Information is generally at a higher level which is accessible to the interested public. All information contained in the report (regions 1-3) is a Government Deliverable/CDRL.

PI(s): Sayan Mitra

Co-PI(s): Geir Dullerud and Swarat Chaudhuri (Rice University)

HARD PROBLEM(S) ADDRESSED
This refers to Hard Problems, released November 2012.

* Scalability and composability
* Predictive security metrics

Our mathematical framework and algorithms will provide quantitative measures of security metrics in a model-based design environment, with respect to different adversary classes.

PUBLICATIONS
Papers published in this quarter as a result of this research. Include title, author(s), venue published/presented, and a short description or abstract. Identify which hard problem(s) the publication addressed. Papers that have not yet been published should be reported in region 2 below.

No publications to report this quarter.

ACCOMPLISHMENT HIGHLIGHTS

* Mathematically formulated the general problem controller synthesis with resource constrained adversaries.
* Developed sound and complete algorithm for solving this problem for the special case of linear control systems with L2-norm bounded adversaries
* Software tool implementing this approach is being implemented