Abstract
Decentralized monitors can have robustness and security risks.
Among robustness risks are attacks on the monitor's infrastructure in or-
der to disable parts of its functionality. Among security risks are attacks
that try to extract information from the monitor, and thereby possibly
leak sensitive information. Formal methods to analyze these issues given
a monitor design can help to make better designs and/or identify crit-
ical parts in a monitor. In this paper we specify a model for analyzing
robustness and security risks for monitors where a network of runtime
local monitors forms a collaborative monitor.
Among robustness risks are attacks on the monitor's infrastructure in or-
der to disable parts of its functionality. Among security risks are attacks
that try to extract information from the monitor, and thereby possibly
leak sensitive information. Formal methods to analyze these issues given
a monitor design can help to make better designs and/or identify crit-
ical parts in a monitor. In this paper we specify a model for analyzing
robustness and security risks for monitors where a network of runtime
local monitors forms a collaborative monitor.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the International Workshop on Coordination, Organisation, Institutions and Norms in Multi-Agent Systems (COIN2015@IJCAI) |
| Number of pages | 16 |
| Publication status | Published - 2015 |
| Event | COIN2015@IJCAI - Buenos Aires, Argentina Duration: 27 Jul 2015 → … |
Conference
| Conference | COIN2015@IJCAI |
|---|---|
| Country/Territory | Argentina |
| City | Buenos Aires |
| Period | 27/07/15 → … |
Keywords
- Monitoring
- Runtime Verication
- Security