Loading...
conference paper
Model Checking Detectability of Attacks in Multiagent Systems
2010
Proceedings of the 9th International Conference on Autonomous Agents and 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.
Loading...
Name
AAMAS10-IB-MC-AL.pdf
Access type
openaccess
Size
206.71 KB
Format
Adobe PDF
Checksum (MD5)
89767f8c23390f14cdb983f26dc7ff0b