Reactive Security for Smart Grids Using Models@run.time-Based Simulation and Reasoning.
Thomas HartmannFrançois FouquetJacques KleinGrégory NainYves Le TraonPublished in: SmartGridSec (2014)
Keyphrases
- simulation models
- formal models
- mathematical models
- complex systems
- monte carlo simulation
- knowledge representation
- network security
- qualitative models
- qualitative reasoning
- model construction
- statistical databases
- data sets
- information security
- experimental data
- parameter estimation
- intrusion detection
- learning algorithm