共 50 条
[1]
ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security
[J].
ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING,
2017,
:349-361
[2]
[Anonymous], 2010, IEC 62264
[3]
[Anonymous], 2013, IEC 61131-3
[4]
[Anonymous], 2011, CiA 301-4.2.0
[5]
[Anonymous], 2009, IEC 62443 security for industrial automation and control systems, standard
[6]
[Anonymous], 2002, CiA 404-1.2.0
[7]
[Anonymous], 2021, IEC 61800
[8]
[Anonymous], 2022, 61850 IEC
[9]
Babiak T, 2012, LECT NOTES COMPUT SC, V7214, P95, DOI 10.1007/978-3-642-28756-5_8
[10]
Bartocci Ezio, 2018, Lectures on Runtime. Verification Introductory and Advanced Topics. LNCS 10457, P1, DOI 10.1007/978-3-319-75632-5_1