首页> 外文OA文献 >Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems

【2h】

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems

机译：盾构合成真实：在网络系统系统中执行安全

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Meng Wu; Jingbo Wang; Jyotirmoy Deshmukh; Chao Wang;
展开▼
作者单位

展开▼
年度 2019
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. CIMA: Compiler-Enforced Resilience Against Memory Safety Attacks in Cyber-Physical Systems [J] . Eyasu Getahun Chekole, Sudipta Chattopadhyay, Martin Ochoa, Computers & Security . 2020,第Jula期

机译：CIMA：对网络物理系统中的记忆安全攻击进行编译恢复性
2. High-Precision Modulation of a Safety-Critical Cyber-Physical System: Control Synthesis and Experimental Validation [J] . Yutong Li, Chen Lv, Junzhi Zhang, Mechatronics, IEEE/ASME Transactions on . 2018,第6期

机译：安全关键的网络物理系统的高精度调制：控制综合和实验验证
3. Opacity Enforcement for Confidential Robust Control in Linear Cyber-Physical Systems [J] . An Liwei, Yang Guang-Hong IEEE Transactions on Automatic Control . 2020,第3期

机译：线性网络物理系统中机密鲁棒控制的不透明度强制执行
4. INVITED: Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems [C] . Meng Wu, Chao Wang, Haibo Zeng, ACM/EDAC/IEEE Design Automation Conference . 2017

机译：邀请：安全保险：安全关键网络系统系统的运行时实施
5. CEEME: Compensating Events based Execution Monitoring Enforcement for cyber-physical systems [D] . Gamage, Thoshitha Thanushka 2011

机译：CEEME：补偿基于事件的网络物理系统的执行监视执行
6. The SHIELD (Safety Health Improvement: Enhancing Law Enforcement Departments) Study: Mixed Methods Longitudinal Findings [O] . Kerry S. Kuehl, Diane L. Elliot, David P. MacKinnon, -1

机译：SHIELD（安全与健康改进：增强执法部门）研究：纵向混合结果
7. Erratum to: Enforcing Memory Safety in Cyber-Physical Systems [O] . Eyasu Getahun Chekole, John Henry Castellanos, Martín Ochoa, 2018

机译：错误：在网络 - 物理系统中强制执行内存安全

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems

著录项

引文网络

相似文献

相关主题

期刊订阅