Mcevoy, Richard and Wolthusen, Stephen D. (2012) Agent Interaction and State Determination in SCADA Systems In: Proceedings of the Sixth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection. Springer-Verlag.
Full text access: Open
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..
This is a Accepted version This version's date is: 2012 This item is not peer reviewed
https://repository.royalholloway.ac.uk/items/bd15c4ae-a991-a0ee-987f-953c116ebbd9/8/
Deposited by Research Information System (atira) on 03-Jul-2014 in Royal Holloway Research Online.Last modified on 03-Jul-2014