Model Checking Detectability of Attacks in Multiagent Systems

Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicability. We introduce a taxonomy of detectability specifications expressed in temporal-epistemic logic. We illustrate the practical relevance of attack detectability in a case study applied to a variant of Kerberos protocol. We model-check attack detectability in automatically generated MAS models for security protocols.


Editor(s):
van der Hoek, Wiebe
Kaminka, Gal
Lesperance, Yves
Luck, Michael
Sen, Sandip
Published in:
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, 1, 1, 691-698
Presented at:
the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2010), Toronto, Canada, May 10-14, 2010
Year:
2010
Publisher:
Richland, International Foundation for Autonomous Agents and Multiagent Systems
ISBN:
978-0-9826571-1-9
Keywords:
Laboratories:




 Record created 2012-01-20, last modified 2018-05-07

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)