Cody Kinneer, Ryan Wagner, Fei Fang, Claire Le Goues, David Garlan. Modeling observability in adaptive systems to defend against advanced persistent threats. In Partha S. Roop, Naijun Zhan, Sicun Gao, Pierluigi Nuzzo, editors, Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019. ACM, 2019. [doi]
Abstract is missing.