首页> 外文OA文献 >Proof-carrying hardware: Runtime formal verification for secure dynamic reconfiguration

【2h】

Proof-carrying hardware: Runtime formal verification for secure dynamic reconfiguration

机译：携带证明的硬件：运行时形式验证，用于安全动态重新配置

页面导航

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

著录项

作者
Stephanie Drzevitzky;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Runtime hardware Trojan monitors through modeling burst mode communication using formal verification [J] . Khalid Faiq, Hasan Syed Rafay, Hasan Osman, Integration . 2018,第MARa期

机译：运行时硬件Trojan通过使用正式验证对突发模式通信建模来监视
2. Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification [J] . Stephanie Drzevitzky, Uwe Kastens, Marco Platzner International journal of reconfigurable computing . 2010,第3期

机译：验证硬件：用于在线验证的概念和原型工具流程
3. Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification [J] . StephanieDrzevitzky, UweKastens, MarcoPlatzner International journal of reconfigurable computing . 2010,第S1期

机译：验证硬件：在线验证的概念和原型工具流程
4. Proof-Carrying Hardware: Runtime Formal Verification for Secure Dynamic Reconfiguration [C] . Drzevitzky Stephanie 2010 International Conference on Field Programmable Logic and Applications . 2010

机译：证明硬件：用于安全动态重新配置的运行时形式验证
5. Adaptive Controller Using Runtime Partial Hardware Reconfiguration for Unmanned Aerial Vehicles (UAVs). [D] . Thomas, Nikhil. 2015

机译：使用运行时部分硬件重新配置的无人飞行器（UAV）自适应控制器。
6. Reliable Task Management Based on a Smart Contract for Runtime Verification of Sensing and Actuating Tasks in IoT Environments [O] . Lei Hang, Do-Hyeun Kim 2020

机译：基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
7. Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components [O] . Dormoy Julien, Kouchnarenko Olga, Lanoix Arnaud 2011

机译：组件动态重新配置的时间模式的运行时验证

Proof-carrying hardware: Runtime formal verification for secure dynamic reconfiguration

著录项

引文网络

相似文献

相关主题

期刊订阅