Embedded Systems Secure Path Verification at the Hardware/Software Interface

Gianpiero Cabodi; Paolo Camurati; Sebastiano F. Finocchiaro; Francesco Savarese; Danilo Vendraminetto

首页> 外文期刊>Design & Test of Computers, IEEE >Embedded Systems Secure Path Verification at the Hardware/Software Interface

【24h】

Embedded Systems Secure Path Verification at the Hardware/Software Interface

机译：硬件/软件接口上的嵌入式系统安全路径验证

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

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

摘要

The article presents a case study comparing two types of properties for formal verification of security requirements in embedded systems.

机译：本文提供了一个案例研究，比较了两种类型的属性以对嵌入式系统中的安全性要求进行形式验证。

著录项

来源
《Design & Test of Computers, IEEE》 |2017年第5期|38-46|共9页
作者
Gianpiero Cabodi; Paolo Camurati; Sebastiano F. Finocchiaro; Francesco Savarese; Danilo Vendraminetto;
展开▼
作者单位

Politecnico di Torino;

Politecnico di Torino;

Politecnico di Torino, Torino, Italy;

Politecnico di Torino;

Politecnico di Torino;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类
关键词
Computer security; Formal verification; System-on-chip; Model checking; Hardware; Random access memory;

机译：计算机安全;形式验证;片上系统;模型检查;硬件;随机存取存储器;

相似文献

外文文献
中文文献
专利

1. An interface test model for hardware-dependent software and embedded OS API of the embedded system [J] . Ahyoung Sung, Byoungju Choi, Seokkyoo Shin Computer standards & interfaces . 2007,第4期

机译：嵌入式系统的硬件相关软件和嵌入式OS API的接口测试模型
2. Applying SMT-based verification to hardware/software partitioning in embedded systems [J] . Trindade Alessandro B., Cordeiro Lucas C. Design automation for embedded systems . 2016,第1期

机译：将基于SMT的验证应用于嵌入式系统中的硬件/软件分区
3. Component-based hardware/software co-verification for building trustworthy embedded systems [J] . Fei Xie, Guowu Yang, Xiaoyu Song The Journal of Systems and Software . 2007,第5期

机译：基于组件的硬件/软件协同验证，用于构建可信赖的嵌入式系统
4. LiveCheckHSI: A hardware/software co-verification tool for hyperspectral imaging systems with embedded system-on-chip instrument avionics [C] . Irene Wang, Didier Keymeulen, Danny Tran, IEEE Aerospace Conference . 2018

机译：LiveCheckHSI：带有嵌入式片上系统航空电子设备的高光谱成像系统的硬件/软件协同验证工具
5. Integrated hardware/software approaches to software security for embedded systems. [D] . Gelbart, Olga. 2008

机译：用于嵌入式系统软件安全性的集成硬件/软件方法。
6. Industrial hardware and software verification with ACL2 [O] . Warren A. Hunt Jr, Matt Kaufmann, J Strother Moore, -1

机译：使用ACL2进行工业硬件和软件验证
7. Verification of Embedded Real-Time Systems Using Hardware/Software Cosimulation [O] . Mohammed El Shobaki 1998

机译：使用硬件/软件协同仿真验证嵌入式实时系统

Embedded Systems Secure Path Verification at the Hardware/Software Interface

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅