首页> 美国政府科技报告 >CORESAFE: A Formal Approach against Code Replacement Attacks on Cyber Physical Systems.

【24h】

CORESAFE: A Formal Approach against Code Replacement Attacks on Cyber Physical Systems.

机译：COREsaFE：针对网络物理系统的代码替换攻击的正式方法。

获取原文

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Shukla, S.; Das, D.; Banerjee, A.;
展开▼
作者单位

展开▼
年度 2018
页码 1-15
总页数 15
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. A Formal Approach to Physics-based Attacks in Cyber-physical Systems [J] . RUGGERO LANOTTE, MASSIMO MERRO, ANDREI MUNTEANU, ACM transactions on privacy and security . 2020,第1期

机译：一种用于网络物理系统的物理攻击的正式方法
2. Cyber attack mitigation for cyber–physical systems: hybrid system approach to controller design [J] . C. Kwon, I. Hwang Control Theory & Applications, IET . 2016,第7期

机译：缓解网络物理系统的网络攻击：控制器设计的混合系统方法
3. Observer-based H-infinity control for cyber-physical systems encountering DoS jamming attacks: An attack-tolerant approach [J] . Wang Mufeng, Liu Yonggui, Xu Bugong ISA Transactions . 2020,第1期

机译：基于观察者的H-Infinity对遇到DOS干扰攻击的网络物理系统：攻击方法
4. A Formal Approach to Cyber-Physical Attacks [C] . Ruggero Lanotte, Massimo Merro, Riccardo Muradore, IEEE Computer Security Foundations Symposium . 2017

机译：一种用于网络物理攻击的正式方法
5. Novel Side-Channel Attack Model for Cyber-Physical Additive Manufacturing Systems. [D] . Rokka Chhetri, Sujit. 2016

机译：用于网络物理增材制造系统的新型侧通道攻击模型。
6. Formal Verification of Control Modules in Cyber-Physical Systems [O] . Iwona Grobelna 2020

机译：网络物理系统中控制模块的正式验证
7. A Formal Approach to Physics-based Attacks in Cyber-physical Systems [O] . Ruggero Lanotte, Massimo Merro, Andrei Munteanu, 2020

机译：一种用于网络物理系统的物理攻击的正式方法

CORESAFE: A Formal Approach against Code Replacement Attacks on Cyber Physical Systems.

著录项

引文网络

相似文献

相关主题

期刊订阅