Skip to main content

Probabilistic Verification of Security Properties in Self-Adaptive Systems

Researcher: David Garlan

Cross Cutting Thrusts: Software Security

Abstract

Scope: We propose a seed grant to develop an approach to verification of security properties of self-adaptive systems using architectural models annotated with probabilistic behavior descriptions checkable by probabilistic model checkers.

Outcomes: New foundations for reasoning about self-adaptive behavior, which will allow one to check whether security properties are violated in the process of dynamic self-reconfiguration.