Imperial College London


Faculty of EngineeringDepartment of Computing

Professor of Logic for Multiagent Systems



+44 (0)20 7594 8414a.lomuscio Website




569Huxley BuildingSouth Kensington Campus






BibTex format

author = {Boureanu, I and Cohen, M and Lomuscio, A},
pages = {691--698},
title = {Model checking detectability of attacks in multiagent systems},
year = {2010}

RIS format (EndNote, RefMan)

AB - 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. Copyright © 2010, International Foundation for Autonomous Agents and Multiagent Systems ( All rights reserved.
AU - Boureanu,I
AU - Cohen,M
AU - Lomuscio,A
EP - 698
PY - 2010///
SN - 1548-8403
SP - 691
TI - Model checking detectability of attacks in multiagent systems
ER -