Agent Interaction and State Determination in SCADA Systems

Richard Mcevoy, Stephen D. Wolthusen

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

171 Downloads (Pure)


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
Publication statusAccepted/In press - 2012

Cite this