Visible to the public Automated Synthesis of Resilient Architectures - April 2015Conflict Detection Enabled

Submitted by drwright on Sun, 03/22/2015 - 1:21pm

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):  Ehab Al-Shaer
Researchers: Ashiq Rahman, Mohamed Alsaleh, Ghaith Husari

 

HARD PROBLEM(S) ADDRESSED

  • Resilient Architectures:  The goal of this project is to develop a formal automated reasoning framework for designing resilient architectures with provable bounds/metrics for cyber and Cyber-physical systems. This includes investigating metric-driven automated  synthesis of security counter-measures to resist and mitigate attacks for cyber and cyber-physical systems. This research work contributes to the design and verification of resilient architectures with guaranteed properties. 

 

PUBLICATIONS

 

ACCOMPLISHMENT HIGHLIGHTS

  • We investigated formal techniques to ensure operational integrity of complex systems while they are under attack. The goal is to maintain the service of these systems despite the attack success. As a case study, we investigated  resilient techniques to ensure accurate observability of smart grids by SCADA systems even if k measurements is corrupted. The SCADA (supervisory control and data acquisition) is a critical component of smart grid that provides control of remote equipment in order to adjust critical operating points of smart grids. Thus, providing resiliency to SCADA systems is required for sustaining the grid operation.
Groups: