Visible to the public Resilience Requirements, Design, and Testing - April 2017Conflict Detection Enabled

Submitted by drwright on Mon, 03/20/2017 - 8:12pm

Public Audience
PI(s):  Kevin Sullivan, Mladen Vouk, Ehab Al-Shaer
Researchers: Mohamed Alsaleh (UNCC), Md Mazharul Islam (UNCC), Anoosha Vangaveeti (NCSU), Chong Tang (UVA)

HARD PROBLEM(S) ADDRESSED

Characterization of attack-resiliency of software based systems needs to be done from its very inception because without such characterization attack resiliency is not properly testable or implementable.

  • Resilient Architectures - vulnerability avoidance, evaluation and tolerance strategies and architectures.
  • Security Metrics and Models - development of metrics and models for static and dynamic assessment of resilience of software.

PUBLICATIONS

  •  

ACCOMPLISHMENT HIGHLIGHTS

  • Developing a logical ontology for cyber agility actions and primitives. The ontology considers fine tuning of the agility action parameters in order to achieve measurable effectiveness. As an example of this is our development of high-level interfaces for specifying IP and path mutation that both can be configured to match the speed and counter the strategy of the adversary. These primitives are implemented as part of our adaptive cyber defense environment, called ActiveSDN, for Software Defined Networks.

Groups: