Skip to Main content Skip to Navigation
New interface
Conference papers

Agent Interaction and State Determination in SCADA Systems

Abstract : Defensive actions in critical infrastructure environments will increasingly require automated agents to manage the complex, dynamic interactions that occur between operators and malicious actors. Characterizing such agent behavior requires the ability to reason about distributed environments where the state of a channel or process depends on the actions of the opposing sides. This paper describes an extension to the Applied π-Calculus for modeling agent behavior in critical infrastructure environments. The utility of the extension is demonstrated via an agent-based attack and defense interaction scenario.
Document type :
Conference papers
Complete list of metadata
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Monday, March 6, 2017 - 3:02:12 PM
Last modification on : Tuesday, July 13, 2021 - 4:12:02 PM
Long-term archiving on: : Wednesday, June 7, 2017 - 2:24:37 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Thomas Mcevoy, Stephen Wolthusen. Agent Interaction and State Determination in SCADA Systems. 6th International Conference on Critical Infrastructure Protection (ICCIP), Mar 2012, Washington, DC, United States. pp.99-109, ⟨10.1007/978-3-642-35764-0_8⟩. ⟨hal-01483823⟩



Record views


Files downloads