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

第六届中国可信计算与信息安全学术会议

作者：曹珲张焕国严飞武汉大学计算机学院/空天信息安全与可信计算教育部重点实验室湖北武汉430072

基于无干扰理论和Hoare公理方法,针对并发进程中不可信代码带来的信息泄露问题,提出一种隐私性分析模型CPNIAM,一方面把并发程序功能正确性证明分化为对程序中所有并发进程的形式化验证,以达到复杂程序简单化证明的目的;另一方面,可以... 详细信息

基于无干扰理论和Hoare公理方法,针对并发进程中不可信代码带来的信息泄露问题,提出一种隐私性分析模型CPNIAM,一方面把并发程序功能正确性证明分化为对程序中所有并发进程的形式化验证,以达到复杂程序简单化证明的目的;另一方面,可以在进程的功能正确性验证的基础上进行并发进程间的无干扰性分析.实例分析表明,相对于传统的无干扰模型,本文提出的模型可以在程序设计及实现阶段的形式化验证过程中,对由不可信代码导致的进程间隐私泄露问题进行分析,分析结果可指导程序设计者用于不可信代码定位和修改.

关键词：数据安全隐私保护无干扰理论并发程序隐私性分析模型

来源：评论

学校读者我要写书评

暂无评论

基于PUF技术的硬件木马检测设计

基于PUF技术的硬件木马检测设计

引用

中国密码学会2012年会

作者：杨建康唐明马啸陈彦昊孙伟晋邱镇龙武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072

硬件木马对现有硬件集成电路设计已构成严重威胁.随着集成电路的不断发展硬件木马的检测技术已成为学术界和工业界的高度重视.我们以PUF技术为核心,设计硬件木马检测模块,主要包含延迟器和环形振荡器,其中延迟器可以根据电路结构产生不... 详细信息

硬件木马对现有硬件集成电路设计已构成严重威胁.随着集成电路的不断发展硬件木马的检测技术已成为学术界和工业界的高度重视.我们以PUF技术为核心,设计硬件木马检测模块,主要包含延迟器和环形振荡器,其中延迟器可以根据电路结构产生不同的延迟,环形振荡器以特征值的形式反应延迟器延迟的效果,电路的物理结构的稍稍改变均会引起检测模块特征值的变化.硬件木马检测模块利用PUF技术的不可复制以及物理依赖的特性来检测硬件木马有两点优势,一可以防止伪造检测信息,二检测的木马范围更阔.在实验中,我们发现只要硬件木马对实际电路有略微的变动都会被检测到,其灵敏性和准确性都很高.

关键词：集成电路硬件木马检测方法 PUF技术

来源：评论

学校读者我要写书评

暂无评论

嵌入式系统可信平台模块研究

引用

计算机研究与发展 2011年第7期48卷 1269-1278页

作者：张焕国李晶潘丹铃赵波武汉大学计算机学院武汉430072 空天信息安全与可信计算教育部重点实验室武汉大学武汉430072

如何有效增强嵌入式系统的安全性是信息安全领域研究的热点和难点之一.相关研究表明,可信平台模块对于有效提高信息系统的安全性十分重要.然而,现有的可信平台模块是为个人计算机设计的,并不能满足嵌入式系统特有的应用需求.针对上述问... 详细信息

如何有效增强嵌入式系统的安全性是信息安全领域研究的热点和难点之一.相关研究表明,可信平台模块对于有效提高信息系统的安全性十分重要.然而,现有的可信平台模块是为个人计算机设计的,并不能满足嵌入式系统特有的应用需求.针对上述问题,设计了一种适应嵌入式环境的新型嵌入式可信平台模块(embedded trusted platform module,ETPM).作为嵌入式可信平台模块的重要组成部分,总线仲裁提高了ETPM的控制能力,增强了嵌入式系统的安全性;对称密码引擎提高了嵌入式系统的对称密码运算效率;系统备份恢复增强了嵌入式系统的可靠性.除此之外,ETPM还能够支持嵌入式平台的星型信任度量模型.这一设计已经在可信PDA中进行了实验验证,实验表明嵌入式可信平台模块是实用、高效、可靠、安全的.

关键词：信息安全可信计算嵌入式系统可信平台模块嵌入式系统可信平台模块

来源：评论

学校读者我要写书评

暂无评论

一种组件加载漏洞的动态检测方法

一种组件加载漏洞的动态检测方法

引用

第五届信息安全漏洞分析与风险评估大会

作者：傅建明彭碧琛杜浩武汉大学计算机学院湖北武汉 430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉 430072 武汉大学软件工程国家重点实验室湖北武汉 430072 武汉大学计算机学院湖北武汉 430072

DLL(Dynamic I_ink Library,后面简称组件)是操作系统和应用程序实现功能重用、功能更新的基本模块.在组件加载时,相对路径的搜索行为和全路径组件的缺失会产生Dl_I_组件被本地或者远程劫持攻击的威胁.为此,根据路径搜索行为,提出一种... 详细信息

DLL(Dynamic I_ink Library,后面简称组件)是操作系统和应用程序实现功能重用、功能更新的基本模块.在组件加载时,相对路径的搜索行为和全路径组件的缺失会产生Dl_I_组件被本地或者远程劫持攻击的威胁.为此,根据路径搜索行为,提出一种组件加载漏洞的动态检测方法.该方法结合组件加载的上下文信息,实现了监测点的最小化,从而满足在线部署的需求.实验结果表明该方法检测的漏洞数明显高于动态插桩的分析方法,且性能开销较小.

关键词：计算机软件软件漏洞组件加载动态检测

来源：评论

学校读者我要写书评

暂无评论

利用虚拟机监视器检测及管理隐藏进程

引用

计算机研究与发展 2011年第8期48卷 1534-1541页

作者：王丽娜高汉军刘炜彭洋武汉大学软件工程国家重点实验室武汉430072 空天信息安全与可信计算教育部重点实验室(武汉大学) 武汉430072 武汉大学计算机学院武汉430072

恶意进程是威胁计算机系统安全的重大隐患,与内核级rootkit合作时具有较强的隐蔽性和不可觉察性.传统的隐藏进程检测工具驻留在被监控系统中,容易受到恶意篡改.为提高检测信息的精确性和检测系统的抗攻击能力,设计并实现一种基于虚拟机... 详细信息

恶意进程是威胁计算机系统安全的重大隐患,与内核级rootkit合作时具有较强的隐蔽性和不可觉察性.传统的隐藏进程检测工具驻留在被监控系统中,容易受到恶意篡改.为提高检测信息的精确性和检测系统的抗攻击能力,设计并实现一种基于虚拟机监视器的隐藏进程检测系统.该系统驻留在被监控虚拟机外,利用虚拟机自省机制获取被监控主机的底层状态信息,借助语义视图重构技术重构其进程队列,并通过交叉视图的方式比较各进程队列间的差异,从而确定隐藏进程.同时,该系统也提供相应的响应机制,用以汇报隐藏进程的详细信息(包括实际占用内存信息、网络端口等),以及提供终止和挂起隐藏进程的功能.通过对具有隐藏进程能力的rootkit进行实验,证明了系统的有效性和可行性.

关键词：隐藏进程检测虚拟机自省语义视图重构交叉视图进程终止和挂起

来源：评论

学校读者我要写书评

暂无评论

多变元Hash函数的构造与分析

引用

电子学报 2011年第1期39卷 237-241页

作者：王后珍张焕国杨飏武汉大学计算机学院空天信息安全与可信计算教育部重点实验室湖北武汉430072 中国科学院数学机械化重点实验室北京100080

本文在基于非线性多变元多项式方程组难解性的基础上,提出了一种新的Hash算法,新算法与目前广泛使用的Hash算法相比具有下列优点:安全性基于一个公认的数学难题;输出Hash值长度可变;引入了整体随机性,从一族Hash函数中随机选择Hash函数... 详细信息

本文在基于非线性多变元多项式方程组难解性的基础上,提出了一种新的Hash算法,新算法与目前广泛使用的Hash算法相比具有下列优点:安全性基于一个公认的数学难题;输出Hash值长度可变;引入了整体随机性,从一族Hash函数中随机选择Hash函数而不是随机化消息本身;设计自动化,用户可根据实际需求构造满足其特定要求的Hash函数.本文还详细讨论了新Hash算法的安全性、效率和性能,并通过仿真实验,指出了新算法的具体构造方法.实验结果表明,新算法在效率和性能方面与其它Hash函数具有可比性.

关键词：密码学 Hash函数 MQ问题多变元多项式

来源：评论

学校读者我要写书评

暂无评论

基于应用π演算的可信平台模块的安全性形式化分析

引用

计算机研究与发展 2011年第8期48卷 1421-1429页

作者：徐士伟张焕国武汉大学计算机学院武汉430072 空天信息安全与可信计算教育部重点实验室(武汉大学) 武汉430072 伯明翰大学计算机科学学院软件工程国家重点实验室(武汉大学) 武汉430072

可信平台模块(trusted platform module,TPM)是信息安全领域热点研究方向可信计算的关键部件,其安全性直接影响整个可信计算平台的安全性,需要对其进行安全性验证.针对已有工作对TPM规范中多类安全性问题进行形式化建模与验证过程中所... 详细信息

可信平台模块(trusted platform module,TPM)是信息安全领域热点研究方向可信计算的关键部件,其安全性直接影响整个可信计算平台的安全性,需要对其进行安全性验证.针对已有工作对TPM规范中多类安全性问题进行形式化建模与验证过程中所存在的不足,从分析TPM和使用者的交互过程出发,使用应用π演算对TPM进行形式化建模,把TPM规范中定义的各实体行为特性抽象成为进程的并发安全性问题,在讨论并发进程中机密性、认证性和弱机密性的基础上,对交互模型进行安全性论证,提出并使用自动定理证明工具验证了对应安全属性的改进方案.

关键词：可信计算可信平台模块应用π演算并发进程安全性分析

来源：评论

学校读者我要写书评

暂无评论

一种基于约束的指针程序路径选择方法

引用

武汉大学学报（理学版） 2011年第5期57卷 389-393页

作者：郭曦张焕国武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072

动态符号执行是对程序进行安全性分析的重要技术.在动态符号执行过程中,存在着符号地址,系统调用,路径选择等问题.针对符号地址导致的别名分析问题,本文提出了一种基于约束的指针分析方法,对程序进行过程内的指向分析,并对指针分析过程... 详细信息

动态符号执行是对程序进行安全性分析的重要技术.在动态符号执行过程中,存在着符号地址,系统调用,路径选择等问题.针对符号地址导致的别名分析问题,本文提出了一种基于约束的指针分析方法,对程序进行过程内的指向分析,并对指针分析过程引入约束条件,产生可以进行路径选择的测试用例,以提高指针分析的精度.在国内首款某型号商用编译器的开发过程中实现了该方法,实验结果表明,该方法可以准确地分析C语言测试用例,缩短用例测试的时间.

关键词：约束求解静态单指派指向分析路径选择测试用例生成

来源：评论

学校读者我要写书评

暂无评论

适合CBTC系统无线信道加密算法

引用

通信学报 2011年第2期32卷 48-52页

作者：王潮刘礼黎牛志华时向勇张焕国上海大学特种光纤与光接入网省部共建重点实验室上海200072 空天信息安全与可信计算教育部重点实验室湖北武汉430072 上海大学计算机工程与科学学院上海200072 武汉大学计算机学院湖北武汉430072

分析了现有地铁CBTC无线信道安全问题,针对其加密算法RC4的缺陷,提出了一种新的基于Montgomery型曲线ECC快速加密算法。与一般形式的传统的Montgomery型椭圆曲线密码相比,该算法可部分恢复y坐标的值数,具有更高的安全性。该算法与传统... 详细信息

分析了现有地铁CBTC无线信道安全问题,针对其加密算法RC4的缺陷,提出了一种新的基于Montgomery型曲线ECC快速加密算法。与一般形式的传统的Montgomery型椭圆曲线密码相比,该算法可部分恢复y坐标的值数,具有更高的安全性。该算法与传统椭圆曲线密码相比,具有更快的计算速度并能有效地抵御时间攻击和能量攻击,从而证明了利用ECC密码体制来代替RC4密码体制的可行性。算法对提高椭圆曲线密码的在CBTC等无线通信系统的实现效率有一定意义。

关键词： Montgomery 椭圆曲线密码 RC4 时间攻击能量攻击

来源：评论

学校读者我要写书评

暂无评论

一种面向连续数据保护的分布式存储模型研究

引用

小型微型计算机系统 2011年第8期32卷 1587-1592页

作者：王丽娜武开智王德军熊琦何征空天信息安全与可信计算教育部重点实验室武汉430079 武汉大学计算机学院武汉430079 中南民族大学计算机学院武汉430074

一个典型的连续数据保护(CDP,Continuous Data Protection)系统必须具有一个高效的存储系统来支撑.本文提出了一种分布式的存储模型,在此基础之上设计了一个面向CDP应用的分布式存储系统.同传统CDP系统相比,本文提出了分布式存储应用于... 详细信息

一个典型的连续数据保护(CDP,Continuous Data Protection)系统必须具有一个高效的存储系统来支撑.本文提出了一种分布式的存储模型,在此基础之上设计了一个面向CDP应用的分布式存储系统.同传统CDP系统相比,本文提出了分布式存储应用于CDP应用,将文件级和块级的数据存储都归纳到一个存储系统中;通过引入了元数据和数据分离的思想,并且把数据分级存储.根据原型系统的理论论证以及测试,结果表明,论文所提存储模型很好的解决了CDP服务器低效率,高负荷的问题,并且具有低成本的优势.

关键词：分布式存储系统三级存储负载均衡索引日志连续数据保护

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：