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.
Type de document :
Communication dans un congrès
Jonathan Butts; Sujeet Shenoi. 6th International Conference on Critical Infrastructure Protection (ICCIP), Mar 2012, Washington, DC, United States. Springer, IFIP Advances in Information and Communication Technology, AICT-390, pp.99-109, 2012, Critical Infrastructure Protection VI. 〈10.1007/978-3-642-35764-0_8〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01483823
Contributeur : Hal Ifip <>
Soumis le : lundi 6 mars 2017 - 15:02:12
Dernière modification le : lundi 6 mars 2017 - 15:05:06
Document(s) archivé(s) le : mercredi 7 juin 2017 - 14:24:37

Fichier

978-3-642-35764-0_8_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Thomas Mcevoy, Stephen Wolthusen. Agent Interaction and State Determination in SCADA Systems. Jonathan Butts; Sujeet Shenoi. 6th International Conference on Critical Infrastructure Protection (ICCIP), Mar 2012, Washington, DC, United States. Springer, IFIP Advances in Information and Communication Technology, AICT-390, pp.99-109, 2012, Critical Infrastructure Protection VI. 〈10.1007/978-3-642-35764-0_8〉. 〈hal-01483823〉

Partager

Métriques

Consultations de la notice

58

Téléchargements de fichiers

34