Imperial College London

ProfessorAlessioLomuscio

Faculty of EngineeringDepartment of Computing

Professor of Logic for Multiagent Systems
 
 
 
//

Contact

 

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

 
 
//

Location

 

569Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Boureanu:2010,
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)

TY  - CPAPER
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 (www.ifaamas.org). 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 -