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

Submitted by drwright on Thu, 03/10/2016 - 12:26pm

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: 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 completed the first implementation phase of our tool for measuring the resistance of cyber systems based on isolation and diversity. The current implementation supports defining resiliency properties based on isolation and diversity and also deafening the system mission. Our tool verifies the mission the integrity using the isolation and diversity specification against the attack model (described in the resiliency requirements project).

Groups: