A Formal Adversary Capability Model for SCADA Environments.

Thomas Richard McEvoy Stephen D. Wolthusen

Published in: CRITIS (2010)

Keyphrases

probabilistic model
real world
management system
theoretical analysis
computational model
mathematical model
formal model
information retrieval
high level
data processing