 |
Critical Infrastructure Protection VI 6th IFIP WG 11.10 International Conference ICCIP 2012 Washington, DC, USA, March 19-21, 2012 |
 |
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.
https://hal.inria.fr/hal-01483823
Contributor : Hal Ifip <>
Submitted on : Monday, March 6, 2017 - 3:02:12 PM
Last modification on : Monday, March 6, 2017 - 3:05:06 PM
Document(s) archivé(s) le : Wednesday, June 7, 2017 - 2:24:37 PM
Contributor : Hal Ifip <>
Submitted on : Monday, March 6, 2017 - 3:02:12 PM
Last modification on : Monday, March 6, 2017 - 3:05:06 PM
Document(s) archivé(s) le : Wednesday, June 7, 2017 - 2:24:37 PM
File
978-3-642-35764-0_8_Chapter.pd...
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License
