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

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

作者：王后珍张焕国管海明伍前红武汉大学计算机学院空天信息安全与可信计算教育部重点实验室武汉430072 中国科学院数学机械化重点实验室北京100080 武汉大学计算机学院空天信息安全与可信计算教育部重点实验室武汉430072 中国电子设备系统工程公司通信研究所北京100039

介绍了有限域上二次多变量多项式方程组(MQ问题)求解理论的研究进展;描述了几种主要的MQ公钥密码算法及其相应的分析手段,并归纳出了MQ(multivariate quadratic)公钥密码系统设计所应遵循的基本准则;概括了MQ问题在其他密码学领域(如流... 详细信息

介绍了有限域上二次多变量多项式方程组(MQ问题)求解理论的研究进展;描述了几种主要的MQ公钥密码算法及其相应的分析手段,并归纳出了MQ(multivariate quadratic)公钥密码系统设计所应遵循的基本准则;概括了MQ问题在其他密码学领域(如流密码)中的应用;对MQ密码的研究前景进行了展望,并归纳出了一系列值得研究的开放问题.

关键词：密码学多变量代数理论 MQ问题公钥密码算法

来源：评论

学校读者我要写书评

暂无评论

智能电网PDA终端的密钥管理和认证研究

引用

网络与信息安全学报 2018年第3期4卷 68-75页

作者：喻潇田里刘喆王捷国网湖北省电力有限公司电力科学研究院武汉430077 武汉大学国家网络安全学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072

针对智能电网PDA终端缺乏合理的密钥管理与认证协议的安全问题,提出了一种基于加扰PUF的智能电网PDA终端密钥管理机制和认证协议,利用可信硬件模块和PDA终端构造移动可信平台,设计了一种可以唯一代表硬件设备身份且可由用户的密钥管理机... 详细信息

针对智能电网PDA终端缺乏合理的密钥管理与认证协议的安全问题,提出了一种基于加扰PUF的智能电网PDA终端密钥管理机制和认证协议,利用可信硬件模块和PDA终端构造移动可信平台,设计了一种可以唯一代表硬件设备身份且可由用户的密钥管理机制,保证密钥安全的同时建立安全有效的密钥备份和恢复机制。以可信硬件模块作为基础,联合上述密钥管理策略中生成的公私钥等,利用改进的基于公钥密码学的接入认证协议,实现智能电网PDA终端的安全接入。

关键词：智能电网 PDA终端可信计算密钥管理认证协议

来源：评论

学校读者我要写书评

暂无评论

对抗水平侧信道攻击的查找表高阶掩码防护方案

对抗水平侧信道攻击的查找表高阶掩码防护方案

引用

中国密码学会2017年会

作者：唐明郭志鹏李煜光李延斌王蓬勃软件工程国家重点实验室武汉大学武汉中国计算机学院武汉大学武汉中国空天信息安全与可信计算教育部重点实验室武汉大学武汉中国计算机学院武汉大学武汉中国

掩码是一种常见的抗侧信道分析的防护方案,其原理基于秘密分享的思想.Ishai、Sahai与Wagner(ISW)提出了高阶掩码的理论安全性证明模型,并且Barthe等人更进一步提出了更精确的安全定义,叫做t-SNI安全性.在CHES2016会议中提出了一种新型... 详细信息

掩码是一种常见的抗侧信道分析的防护方案,其原理基于秘密分享的思想.Ishai、Sahai与Wagner(ISW)提出了高阶掩码的理论安全性证明模型,并且Barthe等人更进一步提出了更精确的安全定义,叫做t-SNI安全性.在CHES2016会议中提出了一种新型的攻击方法——水平侧信道攻击(HSCA),该攻击方法成功攻破了Rivain-Prouff提出的满足t-SNI安全性的防护方案.此时可以推断出,由于HSCA的影响,高阶掩码方案可能会变得更加脆弱.尽管存在Rivain-Prouff防护方案,但是很难将该方案应用于查找表高阶掩码方案,例如Coron在EUROCRYPT2014提出的方案.为了解决这样的问题,本文提出了一种新型的查找表高阶掩码方案,叫做查找表压缩掩码(TCM)方案.在满足t-SNI安全性的情况下,该方案依然可以抵抗HSCA.本文给出了t-SNI安全性定义之下的标准安全性证明,和针对HSCA的一种启发式安全性分析方法.通过将完整的查找表分拆为不同的部分并且根据重掩码的共享因子进行移位,在TCM方案中相同的共享因子不会经过多于两次的操作.该特性针对HSCA具有启发式的安全性,据作者所知,该方案是第一个抗HSCA的查找表高阶掩码方案.

关键词：查找表压缩掩码水平侧信道攻击安全性

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

第三届中国计算机网络与信息安全学术会议(CCNIS2010)

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

可信计算是一种信息系统安全的新技术,能够有效提高嵌入式系统安全性。本文首先分析了嵌入式系统环境对TPM研究提出的挑战,分析表明,现有TPM主要针对通用PC机设计,并不能满足嵌入式系统特有的应用需求。在此基础上,本文设计了一种嵌入... 详细信息

可信计算是一种信息系统安全的新技术,能够有效提高嵌入式系统安全性。本文首先分析了嵌入式系统环境对TPM研究提出的挑战,分析表明,现有TPM主要针对通用PC机设计,并不能满足嵌入式系统特有的应用需求。在此基础上,本文设计了一种嵌入式系统环境下的可信平台模块(ETPM)。与传统TPM目比,ETPM新增了总线仲裁、对称密码加解密和系统备份恢复能力,能够支持嵌入式平台的星型信任度量模型。这一设计已经在可信PDA中进行了实验验证,实验表明ETPM是实用、高效、可靠、安全的。

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

来源：评论

学校读者我要写书评

暂无评论

一种基于栈异常的shellcode检测方法

一种基于栈异常的shellcode检测方法

引用

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

作者：梁玉傅建明彭碧琛武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学软件工程国家重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072 中国证券登记结算有限责任公司广东深圳518031

Shellcode是软件漏洞攻击过程中的一个关键要素,也是检测漏洞攻击的基础.根据shellcode的API函数和系统调用对栈帧的影响,定义了EBP异常、Ret异常和长度异常.接着,提出了一种基于栈异常的shellcode检测方法.该方法遍历指定API函数的栈帧... 详细信息

Shellcode是软件漏洞攻击过程中的一个关键要素,也是检测漏洞攻击的基础.根据shellcode的API函数和系统调用对栈帧的影响,定义了EBP异常、Ret异常和长度异常.接着,提出了一种基于栈异常的shellcode检测方法.该方法遍历指定API函数的栈帧链,检测异常、定位漏洞函数和Shellcode代码,并采用栈帧重构解决了栈帧中的EBP缺失或破坏的问题.其实验结果表明,该方法能有效检测到普通shellcode、纯ROP的shellcode以及混合型shellcode,基本具备追踪shellcode位置和EIP跳转函数的功能,且其性能开销较小、没有误报。此外,与EMET工具相比,该方法对纯ROP编程的shellcode更加有效。

关键词：计算机信息安全软件漏洞外部代码检测系统设计

来源：评论

学校读者我要写书评

暂无评论

基于USBKEY的网络存储用户数据保护的研究与实现

引用

网络与信息安全学报 2018年第6期4卷 62-69页

作者：喻潇田里刘喆王捷国网湖北省电力有限公司电力科学研究院湖北武汉430077 武汉大学国家网络安全学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072

网络硬盘和云存储等网络存储服务运用面广泛,但是由于网络硬盘与云存储自身的相对灵活性,造成其需要面对诸多安全风险。提出基于USBKEY的数据加密防护机制,数据加密与存储服务独立,把密钥存储于USBKEY内,最终将"服务层面提供安全&q... 详细信息

网络硬盘和云存储等网络存储服务运用面广泛,但是由于网络硬盘与云存储自身的相对灵活性,造成其需要面对诸多安全风险。提出基于USBKEY的数据加密防护机制,数据加密与存储服务独立,把密钥存储于USBKEY内,最终将"服务层面提供安全"细化到"实体掌握安全",达到用户掌控数据安全的目的。

关键词： USBKEY 云存储网络硬盘数据隐私保护

来源：评论

学校读者我要写书评

暂无评论

可信网络连接研究

可信网络连接研究

引用

第一届中国可信计算理论与实践学术会议

作者： Zhang-Huanguo 张焕国 Chen-Lu 陈璐 Zhang-Liqiang 张立强空天信息安全与可信计算教育部重点实验室 Computer School of Wuhan UniversityKey Lab of Aerospace Information Security and Trusted ComputingState Key Lab of Software Engineering 武汉大学计算机学院武汉大学软件工程重点实验室

本文详细地介绍了可信网络连接的发展历程、体系结构、消息流程、相关规范，对TCG的可信网络连接架构的优点与局限性进行了分析。针对如何将可信计算机制拓展到网络，使得网络成为可信的计算环境这一问题进行了分析论述，并对可信网络... 详细信息

本文详细地介绍了可信网络连接的发展历程、体系结构、消息流程、相关规范，对TCG的可信网络连接架构的优点与局限性进行了分析。针对如何将可信计算机制拓展到网络，使得网络成为可信的计算环境这一问题进行了分析论述，并对可信网络连接技术未来的发展趋势进行了展望。

关键词：计算机网络安全可信网络连接可信计算组织系统架构工作流程

来源：评论

学校读者我要写书评

暂无评论

基于密码协议实现的行为安全分析模型

基于密码协议实现的行为安全分析模型

引用

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

作者：吴福生张焕国倪明涛王俊贾建卫李延斌石源武汉大学国家网络安全学院武汉 430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉 430072 中南民族大学计算机科学学院武汉 430074

安全分析模型是密码安全实现的重要保障，行为安全是信息安全研究的内容之一。现有的分析模型仅仅从理论上保证密码协议实现的安全，而没有考虑密码协议实现时的行为安全(例如，无线网络中的拒绝服务、会话劫持和程序漏洞攻击等)。本文...

安全分析模型是密码安全实现的重要保障，行为安全是信息安全研究的内容之一。现有的分析模型仅仅从理论上保证密码协议实现的安全，而没有考虑密码协议实现时的行为安全(例如，无线网络中的拒绝服务、会话劫持和程序漏洞攻击等)。本文提出一种基于密码协议实现的行为安全分析模型。该模型把密码协议实现分两部分：一是外部行为(开放网络空间交互通信的行为);二是内部行为(代码实现的行为)。通过行为的可控性，能够发现、控制或纠正密码协议实现的安全。基于该分析模型方法，本文以经典的密码协议为实例进行模拟实验。实验结果表明，密码协议实现的行为安全是可控的。

关键词：

来源：评论

学校读者我要写书评

暂无评论

软件结构属性分析与恶意软件检测

软件结构属性分析与恶意软件检测

引用

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

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

任何可执行文件都必须满足一定的结构特征.本文以Winelows平台下的PE文件为研究对象,从PE头、节头、节代码出发,给出了17个结构特征;针对给定正常软件和各类恶意软件,获得了这些属性取值分布特征;采用多类数据挖掘分类技术获得了正常软... 详细信息

任何可执行文件都必须满足一定的结构特征.本文以Winelows平台下的PE文件为研究对象,从PE头、节头、节代码出发,给出了17个结构特征;针对给定正常软件和各类恶意软件,获得了这些属性取值分布特征;采用多类数据挖掘分类技术获得了正常软件与恶意软件的判定规则.实验结果表明,C5.0的分类算法检测准确性最好,达到94.16％.这些规则可以为软件可信性度量提供依据.

关键词：可信软件恶意软件结构完整性数据挖掘

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：