A Formal Adversary Capability Model for SCADA Environments.

Thomas Richard McEvoy, Stephen D. Wolthusen

Browse the full CRITIS paper archive.