Resilience Requirements, Design, and Testing - July 2016

Submitted by drwright on Mon, 06/13/2016 - 9:20am

Public Audience
PI(s): Kevin Sullivan, Mladen Vouk, Ehab Al-Shaer
Researchers: Gaith Husari and Mohamed Alsaleh (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

Mohammad Ashiqur Rahman, AHM Jakaria, and Ehab Al-Shaer, "Formal Analysis for Dependable Supervisory Control and Data Acquisition in Smart Grids", The 46th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Toulouse, France, June 2016.

ACCOMPLISHMENT HIGHLIGHTS

We developed metrics to verify and characterize the resiliency of SCADA in term of resisting coordinated attacks that target both device availability and data integrity. We developed three metrics: k-resiliency observability, k−Resilient Secured Observability, and k,r−resilient bad data detectability that can be used to measure and compare the resiliency of SCADA configurations.

Groups:

NCSU Science of Security Lablet Research Initiative