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

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 (UNCC), Abdullah Al Farooq (UNCC). 



  • 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. 





  •    Developing open interface and engine for a decision-making controller that enables implementing adaptive cyber defense and cyber agility capabilities rapidly and safely on Software Defined Networks. ActiveSDN enables users to define the specification of arbitrary sensing and actuation defense functions. ActiveSDN translate these specifications into OpenFlow configurations that are provably correct and deploys them in the most appropriate devices for enforcement.  ActiveSDN provides built-in cyber agility functions such as IP mutation, route mutation, service migration, continuous monitoring and others.