Thomas Richard McEvoy, Stephen D. Wolthusen. A Formal Adversary Capability Model for SCADA Environments. In Christos Xenakis, Stephen D. Wolthusen, editors, Critical Information Infrastructures Security - 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers. Volume 6712 of Lecture Notes in Computer Science, pages 93-103, Springer, 2010. [doi]