Sciweavers

ATAL
2010
Springer

Model checking detectability of attacks in multiagent systems

13 years 4 months ago
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. Categories and Subject Descriptors D.2.4 [Software/Program Verification]: Model checking General Terms Verification, Security Keywords Verification of MAS; Logics of Agency; Logic-based approaches and methods; Privacy, safety and security; Formal models of agency
Ioana Boureanu, Mika Cohen, Alessio Lomuscio
Added 08 Nov 2010
Updated 08 Nov 2010
Type Conference
Year 2010
Where ATAL
Authors Ioana Boureanu, Mika Cohen, Alessio Lomuscio
Comments (0)