Model-Based Explanation For Human-in-the-Loop Security - April 2022

PI(s), Co-PI(s), Researchers: David Garlan, Bradley Schmerl (CMU)

HARD PROBLEM(S) ADDRESSED
Human Behavior
Metrics
Resilient Architectures

We are addressing human behavior by providing understandable explanations for automated mitigation plans generated by self-protecting systems that use various models of the software, network, and attack. We are addressing resilience by providing defense plans that are automatically generated as the system runs and accounting for current context, system state, observable properties of the attacker, and potential observable operations of the defense.

PUBLICATIONS

PUBLIC ACCOMPLISHMENT HIGHLIGHTS

We have continued work on using dimension reducing approaches to focus explanations on the key factors used in decision making for self-adaptive/self-protecting systems.

COMMUNITY ENGAGEMENTS (If applicable)

We are involved in organizing the Symposium on Software Engineering for Adaptive and Self-managing systems, which is the main conference in our area, and will be in Pittsburgh in May 2022.

EDUCATIONAL ADVANCES (If applicable)