Visible to the public Modeling Observability in Adaptive Systems to Defend Against Advanced Persistent ThreatsConflict Detection Enabled

TitleModeling Observability in Adaptive Systems to Defend Against Advanced Persistent Threats
Publication TypeConference Proceedings
Year of Publication2019
AuthorsKinneer, Cody, Wagner, Ryan, Fang, Fei, Le Goues, Claire, Garlan, David
Conference NameIn Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for Systems Design (MEMCODE\'19
Date Published09/2019
Conference LocationSan Diego, CA
Abstract

Advanced persistent threats (APTs) are a particularly troubling challenge for software systems. The adversarial nature of the security domain, and APTs in particular, poses unresolved challenges to the design of self-* systems, such as how to defend against multiple types of attackers with different goals and capabilities. In this interaction, the observability of each side is an important and under-investigated issue in the self-* domain. We propose a model of APT defense that elevates observability as a first-class concern. We evaluate this model by showing how an informed approach that uses observability improves the defender's utility compared to a uniform random strategy, can enable robust planning through sensitivity analysis, and can inform observability-related architectural design decisions.

DOIhttps://doi.org/10.1145/3359986.3361208
Citation Keynode-93014

Kinneer_Modeling_Observability_Garlan.pdf
AttachmentTaxonomyKindSize
Kinneer_Modeling_Observability_Garlan.pdfPDF document778.81 KBDownloadPreview
AttachmentSize
bytes