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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

中国密码学会2012年会

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

Logistic混沌扰动三角形密码体制

引用

计算机应用与软件 2014年第9期31卷 268-271页

作者：孙小雁张焕国张茂胜毛少武玉林师范学院计算机科学与工程学院广西玉林537000 武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 玉林师范学院数学与信息科学学院广西玉林537000 武汉大学国家多媒体软件工程技术研究中心湖北武汉430079

针对多变量三角形体制不能抵抗线性攻击的问题,结合多变量密码体制与混沌理论建立混沌扰动多变量三角形体制。建立Logistic混沌映射的同步系统,并将Logistic映射在有限域上离散化。通过在三角形体制中增加Logistic混沌扰动,改变多变量... 详细信息

针对多变量三角形体制不能抵抗线性攻击的问题,结合多变量密码体制与混沌理论建立混沌扰动多变量三角形体制。建立Logistic混沌映射的同步系统,并将Logistic映射在有限域上离散化。通过在三角形体制中增加Logistic混沌扰动,改变多变量三角形密码体制的中心映射的结构,消除多变量三角形体制的中心映射方程组之间存在的线性关系。通过理论分析证明提出的Logistic混浊扰动三角形密码体制能抵抗线性化攻击,提高了Jonquières体制的安全性。

关键词：三角形混沌密码扰动安全

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于栈异常的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更加有效。

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

来源：评论

学校读者我要写书评

暂无评论

基于统计学的Web论坛增量更新策略研究

引用

计算机应用与软件 2017年第6期34卷 31-36,129页

作者：冯凯陈军王鹃王勇武汉大学国家多媒体软件工程技术研究中心湖北武汉430072 武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072

传统预测网页变化的模型将一种规律应用到所有网页之上,没有考虑各页面之间的区别,针对网络论坛索引页面提出了一种基于统计学规律的增量更新策略模型。通过相关论坛版块的索引页面进行数据的采集,观察并证明其变化大致呈现以日为周期... 详细信息

传统预测网页变化的模型将一种规律应用到所有网页之上,没有考虑各页面之间的区别,针对网络论坛索引页面提出了一种基于统计学规律的增量更新策略模型。通过相关论坛版块的索引页面进行数据的采集,观察并证明其变化大致呈现以日为周期的规律性变化,一日之内的变化曲线与人们的生活规律相吻合。然后采用最小二乘法多项式曲线拟合对其进行数学建模,得到合适的数学模型,并将其应用在索引页面的增量更新之上,从而可以准确预测索引页面下一次更新的时间间隔。实验结果表明,该模型在10%误差范围内,预测的准确率为93.9%。

关键词：增量更新网页变化统计学数学建模

来源：评论

学校读者我要写书评

暂无评论

针对VxWorks电力工控终端的模糊测试方法

引用

电力信息与通信技术 2023年第9期21卷 15-22页

作者：陈锦山余斯航祁琦孙鑫安珂欣李俊娥国网福建省电力有限公司电力科学研究院福建省福州市350000 空天信息安全与可信计算教育部重点实验室(武汉大学国家网络安全学院) 湖北省武汉市430072

VxWorks是电力工控终端广泛采用的实时嵌入式操作系统。电力工控系统中,嵌入式系统大多被裁剪、运行周期长,系统中可能长期存在未知漏洞。现有模糊测试方法未考虑嵌入式终端系统特点,对VxWorks系统适用性差。因此,文章提出针对VxWorks... 详细信息

VxWorks是电力工控终端广泛采用的实时嵌入式操作系统。电力工控系统中,嵌入式系统大多被裁剪、运行周期长,系统中可能长期存在未知漏洞。现有模糊测试方法未考虑嵌入式终端系统特点,对VxWorks系统适用性差。因此,文章提出针对VxWorks电力工控终端的模糊测试方法,选取WDB RPC接口及在其上运行的RPC协议作为测试对象,结合等价类划分技术和滑动窗口位翻转算法生成模糊测试用例,并基于边界值分析技术对用例进行验证。实验结果表明,所提方法能有效挖掘VxWorks系统内存崩溃漏洞。

关键词：电力工控终端 VxWorks 模糊测试 WDB RPC接口等价类划分

来源：评论

学校读者我要写书评

暂无评论

基于主机与云分析结合的轻量级威胁感知系统

基于主机与云分析结合的轻量级威胁感知系统

引用

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

作者：彭国军王泰格刘焱张焕国武汉大学空天信息安全与可信计算教育部重点实验室武汉430072 武汉大学计算机学院武汉430072 百度在线网络技术(北京)有限公司北京100085

随着社会信息化进程的加速,信息化技术在这些企业运营过程中的作用越来越重要,而企业信息化进程中所暴露的安全问题也越来越受到社会的关注.赛门铁克公司发布的第二十期《互联网安全威胁报告》(ISTR)[1]揭示,在当今高度互联的世界中,遭...

随着社会信息化进程的加速,信息化技术在这些企业运营过程中的作用越来越重要,而企业信息化进程中所暴露的安全问题也越来越受到社会的关注.赛门铁克公司发布的第二十期《互联网安全威胁报告》(ISTR)[1]揭示,在当今高度互联的世界中,遭受网络攻击只是时间问题,网络犯罪分子已经开始转变攻击战术,通过劫持大型企业的基础架构,侵入并躲过企业安全监测,实现对企业的攻击.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

中国密码学会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的查找表高阶掩码方案.

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：