Towards Formal Security Analysis of Industrial Control Systems

Marco Rocchetto, Nils Ole Tippenhauer
April 2017
DOI
Type
Conference paper
Publication
Proceedings of the ACM Asia Conference on Computer and Communications Security (ASIACCS)