|
[ACMM19]
Luca Arnaboldi, Ricardo M. Czekster, Charles Morisset and Roberto Metere.
Modelling Load-Changing Attacks in Cyber-Physical Systems.
In Proc. 10th International Workshop on the Practical Application of Stochastic Modelling (PASM'19).
2019.
[Analyses load attacks on cyber-physical systems using probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|