[Ouc21]
Samir Ouchani.
A security policy hardening framework for Socio-Cyber-Physical Systems.
Journal of Systems Architecture, 119.
2021.
[Proposes techniques for analysing the security of socio-cyber-physical systems, with underlying verification tasks performed by PRISM.]
|
