Reference : Towards Formal Security Analysis of Industrial Control Systems
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/30938
Towards Formal Security Analysis of Industrial Control Systems
English
Rocchetto, Marco mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
2017
Towards Formal Security Analysis of Industrial Control Systems
Yes
Asia Conference on Computer and Communications Security (AsiaCCS)
from 02/04/2017 to 06/04/2017
http://hdl.handle.net/10993/30938

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
p114-rocchetto.pdfPublisher postprint1.74 MBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.