检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

4 篇 会议

馆藏范围

4 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

3 篇 工学
- 3 篇 计算机科学与技术...
- 2 篇 软件工程
- 1 篇 电气工程

主题

4 篇 component authen...
4 篇 systems-on-chip ...
4 篇 secure execution
4 篇 trojan
3 篇 hardware sandbox
3 篇 field programmab...
1 篇 hardware sand-bo...

机构

2 篇 univ arkansas cs...
1 篇 univ arkansas fa...
1 篇 university of ar...

作者

3 篇 bobda christophe
3 篇 hategekimana fes...
2 篇 pantho md jubaer...
1 篇 whitaker taylor ...
1 篇 whitaker taylor
1 篇 festus hategekim...
1 篇 christophe bobda

语言

4 篇 英文

检索条件"主题词=component authentication process"

共 4 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Work-in-Progress: Towards the Application of Flask Security Architecture to SoC Design 12

Work-in-Progress: Towards the Application of Flask Security ...

引用

International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)

作者： Hategekimana, Festus Bobda, Christophe Univ Arkansas Fayetteville AR 72701 USA

ISBN: (纸本)9781450351850

In this work, we explore a security reference monitor (RM) design which borrows from the Flask security architecture. Our RM design goal is to achieve complete mediation by checking and verifying the authority and the authenticity of every access to every system object in systems-on-chip (SoCs). Access decisions are administered by a security logic "server" implemented as an extension of the peripheral bus. Initial results show a minimal increase in resource overhead and no significant impact on the performance.

关键词： Systems-on-Chip (SoC) Field Programmable Gate Arrays (FPGAs) Trojan Hardware sandbox Secure Execution component authentication process

来源：评论

学校读者我要写书评

暂无评论

Shielding Non-Trusted IPs in SoCs 27

Shielding Non-Trusted IPs in SoCs

引用

27th International Conference on Field Programmable Logic and Applications (FPL)

作者： Hategekimana, Festus Whitaker, Taylor Pantho, Md Jubaer Hossain Bobda, Christophe Univ Arkansas CSCE Dept Fayetteville AR 72701 USA

ISBN: (纸本)9789090304281

This paper explores the use of hardware sandboxes, conceptually similar to software sandboxes, for secure integration of non-trusted IPs in systems-on-chip (SoC) designs. The goal of the hardware sandbox is to only allow permissible interactions between the IP and the rest of the system. The hardware sandbox design achieves this by exposing the IP interface to isolated virtual resources and checking IP signals' "correctness" at run-time. We evaluated the hardware sandbox through a real world design implementation. Our sandbox can detect a majority of *** Trojan benchmarks with a negligible increase in resource overhead.

关键词： Systems-on-Chip (SoC) Trojan Hardware sand-box Secure Execution component authentication process

来源：评论

学校读者我要写书评

暂无评论

Secure Integration of Non-Trusted IPs in SoCs

Secure Integration of Non-Trusted IPs in SoCs

引用

Asian Hardware Oriented Security and Trust Symposium (AsianHOST)

作者： Hategekimana, Festus Whitaker, Taylor J. L. Pantho, Md Jubaer Hossain Bobda, Christophe Univ Arkansas CSCE Dept Fayetteville AR 72701 USA

ISBN: (纸本)9781538614211

This paper explores the use of hardware sandboxes, conceptually similar to software sandboxes, for secure integration of non-trusted IPs in systems-on-chip (SoC) designs. Our approach is based on a general assumption that malicious components hidden in IPs pose no harm to the system as long as they don't manifest. Thus, the goal of the hardware sandbox is to only allow permissible interactions between the IP and the rest of the system. The proposed hardware sandbox design achieves this by exposing the IP interface to isolated virtual resources and checking IP signals' "correctness" at run-time. We evaluated the hardware sandbox through a real world design implementation. Our sandbox can detect a majority of *** Trojan benchmarks with a negligible increase in resource overhead.

关键词： Systems-on-Chip (SoC) Field Programmable Gate Arrays (FPGAs) Trojan Hardware sandbox Secure Execution component authentication process

来源：评论

学校读者我要写书评

暂无评论

Towards the application of flask security architecture to SoC design: work-in-progress 17

Towards the application of flask security architecture to So...

引用

Proceedings of the Twelfth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Companion

作者： Festus Hategekimana Christophe Bobda University of Arkansas

ISBN: (纸本)9781450351850

关键词： secure execution trojan hardware sandbox field programmable gate arrays (FPGAs) component authentication process systems-on-chip (SoC)

来源：评论