Security and robustness for collaborative monitors
Files
Publication date
2016
Authors
Testerink, B.J.G.
Bulling, Nils
Dastani, Mehdi
Editors
Advisors
Supervisors
Document Type
Part of book
Metadata
Show full item recordCollections
License
taverne
Abstract
Decentralized monitors can be subject to robustness and security risks. Robustness risks include attacks on the monitor’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, Taverne, General Computer Science, Theoretical Computer Science
Citation
Testerink, B, Bulling, N & Dastani, M 2016, Security and robustness for collaborative monitors. in Coordination, Organizations, Institutions, and Normes in Agent Systems XI - COIN 2015 International Workshops COIN@AAMAS, Revised Selected Papers. vol. 9628, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9628, Springer, pp. 376-395, International Conference on Coordination, Organisations, Institutions and Norms in Agent Systems, 2015, Istanbul, Turkey, 4/05/15. https://doi.org/10.1007/978-3-319-42691-4_21, conference