检索结果-南通市图书馆

A Multi-Flow Information Flow Tracking Approach for Proving Quantitative Hardware Security Properties

Tsinghua Science and Technology 2021年第1期26卷 62-71页

作者： Yu Tai Wei Hu Lu Zhang Dejun Mu ryan kastner the School of Cybersecurity Northwestern Polytechnical UniversityXi'an 710072China the School of Automation Northwestern Polytechnical UniversityXi'an 710072China the Department of Computer Science and Engineering University of CaliforniaSan DiegoCA 92093USA

Information Flow Tracking(IFT)is an established formal method for proving security properties related to confidentiality,integrity,and *** has seen promise in identifying security vulnerabilities resulting from design flaws,timing channels,and hardware Trojans for secure hardware ***,existing IFT methods tend to take a qualitative approach and only enforce binary security properties,requiring strict non-interference for the properties to hold while real systems usually allow a small amount of information flows to enable desirable ***,existing methods are inadequate for reasoning about quantitative security properties or measuring the security of a design in order to assess the severity of a security *** this work,we propose two multi-flow solutions—multiple verifications for replicating existing IFT model and multi-flow IFT *** proposed multi-flow IFT method provides more insight into simultaneous information flow behaviors and allows for proof of quantitative information flow security properties,such as diffusion,randomization,and boundaries on the amount of simultaneous information *** results show that our method can be used to prove a new type of information flow security property with verification performance benefits.

关键词： hardware security Information Flow Tracking(IFT) multi-flow IFT security property

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

使用嵌入式处理器的水声调制解调器控制系统设计方法与研究

引用

北京大学学报（自然科学版） 2011年第2期47卷 245-250页

作者：李莹 Bridget Benson 于敦山 ryan kastner 张兴北京大学信息科学技术学院微电子学系北京100871 Department of Computer Science and Engineering University of California San Diego San Diego CA 92093

提出了一种使用带有嵌入式处理器的FPGA实现水声调制解调器控制系统的方法,根据声波通信的数据特点选择适合的通信总线搭建系统结构,设计出合理的软硬件协同工作流程和中断控制信号。通过在Xilinx VirtexIVFPGA的嵌入式MicroBlaze软处... 详细信息

提出了一种使用带有嵌入式处理器的FPGA实现水声调制解调器控制系统的方法,根据声波通信的数据特点选择适合的通信总线搭建系统结构,设计出合理的软硬件协同工作流程和中断控制信号。通过在Xilinx VirtexIVFPGA的嵌入式MicroBlaze软处理器上实现并通过软硬件协同验证,表明所设计的控制系统能够准确控制整个数字信号处理过程,实时监控电路工作情况,性能稳定可靠。

关键词：嵌入式系统软处理器水声调制解调器控制系统软硬件协同

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

使用嵌入式处理器的水声调制解调器控制系统设计方法与研究

引用

北京大学学报(自然科学版)网络版(预印本) 2010年第2期 34-39页

作者：李莹 Bridget Benson 于敦山 ryan kastner 张兴北京大学信息科学技术学院微电子学系 Department of Computer Science and Engineering University of California

提出了一种使用带有嵌入式处理器的FPGA实现水声调制解调器控制系统的方法,根据声波通信的数据特点选择适合的通信总线搭建系统结构,设计出合理的软硬件协同工作流程和中断控制信号。通过在Xilinx VirtexIV FPGA的嵌入式MicroBlaze软处理器上实现并通过软硬件协同验证,表明所设计的控制系统能够准确控制整个数字信号处理过程,实时监控电路工作情况,性能稳定可靠。

关键词：嵌入式系统软处理器水声调制解调器控制系统软硬件协同

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

硬件和软件设计的算法优化技巧

引用

国外科技新书评介 2011年第1期 14-14页

作者： ryan kastner（）

本书是一本介绍软件和硬件设计中自动优化技术的简明指导丛书。通过软硬件的自动优化技术，我们可以获得更好的系统性能，降低能源消耗等。本书清晰的讲解和说明性的例子，使读者很容易理解所讲述的关键技术并编写自己的软件代码。

关键词：软件设计硬件设计优化技巧算法优化技术能源消耗软件代码软硬件

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

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

请选择保存的检索档案：

请选择收藏分类：