[LMO15]
Gabriele Lenzini, Sjouke Mauw and Samir Ouchani.
Security Analysis of Socio-Technical Physical Systems.
Computers & Electrical Engineering, Elsevier.
2015.
[Proposes an approach to detect and quantify attacks in socio-technical physical systems, using a mapping to PRISM.]
|
Site hosted at the Department of Computer Science, University of Oxford