Detecting Safety and Security Faults in PLC Systems with Data Provenance
Detecting Safety and Security Faults in PLC Systems with Data Provenance
复制标题
通过数据来源检测 PLC 系统中的安全故障
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Moyer, Thomas
中科院分区：
文献类型：
--
作者：
Al Farooq, Abdullah;Marquard, Jessica;George, Kripa;Moyer, Thomas
登录
查看更多内容
通过可编程控制器控制的智能家居监控系统
DOI：
--
发表时间：
2016
期刊：
International Conference on Innovative Computing and Cloud Computing
影响因子：
--
作者：
T. Sysala;Martin Pospichal;P. Neumann
通讯作者：
P. Neumann
通过静态和动态策略执行来阻止控制系统中的不安全行为
DOI：
--
发表时间：
2015
期刊：
Design Automation Conference
影响因子：
--
作者：
Stephen E. McLaughlin
通讯作者：
Stephen E. McLaughlin
DOI：
--
发表时间：
2018-12
期刊：
2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM)
影响因子：
--
作者：
A. Farooq;E. Al-Shaer;Thomas Moyer;K. Kant
通讯作者：
A. Farooq;E. Al-Shaer;Thomas Moyer;K. Kant
DOI：
--
发表时间：
2018
期刊：
--
影响因子：
--
作者：
Qi Wang;Wajih Ul Hassan;Adam Bates;Carl A. Gunter
通讯作者：
Qi Wang;Wajih Ul Hassan;Adam Bates;Carl A. Gunter
计算机科学与信息系统联合会会议记录第 849–854 页 ISBN 978-83-60810-22-4 ST 控制程序自动转换为 Why 以进行验证
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
Silvia Gómez;C. Hurtado;J. Orellana;J. A. Gallardo
通讯作者：
J. A. Gallardo