Agent Interaction and State Determination in SCADA Systems. / Mcevoy, Richard; Wolthusen, Stephen D.

Proceedings of the Sixth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection. Springer-Verlag, 2012.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Forthcoming

Documents

  • AgentsPaper

    Rights statement: Copyright assigned to Springer.

    Submitted manuscript, 262 KB, PDF document

Abstract

In critical infrastructure environments, we argue that both adversaries and operators will utilize agents to manage dynamic attack/defence interactions in future. Agent behavior and, in particular, agent interaction require adequate modelling tools to reason over such situations in distributed environments where the state (malicious or non-malicious) of a channel or process can vary dynamically depending on the actions of opposing sides in attack and defence. For this purpose, we propose an extension to applied $\pi$-calculus to model agent behavior. We apply this extended calculus to the formal analysis of a class of agent-based attacks and its detection to demonstrate its utility..
Original languageEnglish
Title of host publicationProceedings of the Sixth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection
PublisherSpringer-Verlag
Publication statusAccepted/In press - 2012
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 5086925