@inproceedings{6e24f7cd2835441ca22f87a95b9aa93b,
title = "Security and robustness for collaborative monitors",
abstract = "Decentralized monitors can be subject to robustness and security risks. Robustness risks include attacks on the monitor{\textquoteright}s infrastructure in order to disable parts of its functionality. Security risks include attacks that try to extract information from the monitor and thereby possibly leak sensitive information. Formal methods to analyze the design of a monitor with respect to these issues can help to create more secure designs and/or identify critical parts. In this paper we specify a model for analyzing robustness and security risks for collaborative monitors constructed from a network of local monitors.",
keywords = "Monitoring, Runtime verification, Security",
author = "Bas Testerink and Nils Bulling and Mehdi Dastani",
year = "2016",
doi = "10.1007/978-3-319-42691-4_21",
language = "English",
isbn = "9783319426907",
volume = "9628",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "376--395",
booktitle = "Coordination, Organizations, Institutions, and Normes in Agent Systems XI - COIN 2015 International Workshops COIN@AAMAS, Revised Selected Papers",
note = "International Conference on Coordination, Organisations, Institutions and Norms in Agent Systems, 2015 ; Conference date: 04-05-2015 Through 04-05-2015",
}