相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies
Shoma Matsui et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2022)
Synthesis of sensor deception attacks at the supervisory layer of Cyber-Physical Systems
Romulo Meira-Goes et al.
AUTOMATICA (2020)
Supervisory Control of Discrete-Event Systems Under Attacks
Masashi Wakaiki et al.
DYNAMIC GAMES AND APPLICATIONS (2019)
Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
Rong Su
AUTOMATICA (2018)
Detection and mitigation of classes of attacks in supervisory control systems
Lilian Kawakami Carvalho et al.
AUTOMATICA (2018)
Supervisory control and reactive synthesis: a comparative introduction
Ruediger Ehlers et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2017)
Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
Xiang Yin et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2016)
Multi-representational Security Analysis
Eunsuk Kang et al.
FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING (2016)
Leveraging State Information for Automated Attack Discovery in Transport Protocol Implementations
Samuel Jero et al.
2015 45TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (2015)
Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control
Hongwei Liao et al.
IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY (2013)