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]
@inproceedings{KinneerWFGG19,
title = {Modeling observability in adaptive systems to defend against advanced persistent threats},
author = {Cody Kinneer and Ryan Wagner and Fei Fang and Claire Le Goues and David Garlan},
year = {2019},
doi = {10.1145/3359986.3361208},
url = {https://doi.org/10.1145/3359986.3361208},
researchr = {https://researchr.org/publication/KinneerWFGG19},
cites = {0},
citedby = {0},
booktitle = {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},
editor = {Partha S. Roop and Naijun Zhan and Sicun Gao and Pierluigi Nuzzo},
publisher = {ACM},
isbn = {978-1-4503-6997-8},
}