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

网络与信息安全学报 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的查找表高阶掩码方案.

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

来源：评论

学校读者我要写书评

暂无评论

可信计算中的可信度量机制

可信计算中的可信度量机制

引用

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

作者：张立强张焕国张帆武汉大学软件工程国家重点实验室武汉430072 武汉大学计算机学院武汉430072 武汉大学计算机学院武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉430072 杭州电子科技大学通信工程学院杭州310018

为了解决可信计算中完整性度量架构过于复杂、难以扩展以及没有体现行为可信的问题,在分析完整性度量机制的基础上,对可信的概念进行扩展,引入信任度量机制,依据可信度量的需求和目标,给出需求导向、多目标融合的度量对象树模型以及对... 详细信息

为了解决可信计算中完整性度量架构过于复杂、难以扩展以及没有体现行为可信的问题,在分析完整性度量机制的基础上,对可信的概念进行扩展,引入信任度量机制,依据可信度量的需求和目标,给出需求导向、多目标融合的度量对象树模型以及对应的可信度量模型,通过与完整性度量模型的分析对比,可信度量模型能给出综合性的可信评估结果,具有可灵活扩展的特点,更加符合可信度量的实际需求.

关键词：完整性度量可信计算可信度量机制

来源：评论

学校读者我要写书评

暂无评论

第一寄存器小Qubit量子计算攻击RSA研究

引用

网络与信息安全学报 2017年第10期3卷 25-34页

作者：王宝楠陈宇航尹宝胡风张焕国王潮上海大学通信与信息工程学院特种光纤与光接入网省部共建教育部重点实验室上海200072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072

提出了针对RSA的小Qubit量子攻击算法设计,量子攻击的第一量子寄存器所需的Qubit数目由原先至少2L降低到L1,总体空间复杂度记为(L1,L),其中2L1≥r,r为分解所得周期。由于第一寄存器量子比特数的减少,降低了算法复杂度和成功率,且改进原... 详细信息

提出了针对RSA的小Qubit量子攻击算法设计,量子攻击的第一量子寄存器所需的Qubit数目由原先至少2L降低到L1,总体空间复杂度记为(L1,L),其中2L1≥r,r为分解所得周期。由于第一寄存器量子比特数的减少,降低了算法复杂度和成功率,且改进原算法中模幂计算,提升运算速率。改进攻击算法的量子电路的时间复杂度为T=O(2L2)。在时间复杂度和空间复杂度上都有明显的进步。改进算法的成功率降低了,但实际成功求解时间,即每次分解时间/成功率,依然低于Shor算法目前的主要改进算法。完成了仿真模拟实验,分别用11、10、9 Qubit成功分解119的量子电路。

关键词： Shor算法 RSA算法量子电路小比特攻击

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

可信网络连接中一种基于可信度的细粒度授权模型

可信网络连接中一种基于可信度的细粒度授权模型

引用

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

作者：邹冰玉张焕国郭曦胡颖加米拉·沙塔尔武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072 新疆维吾尔自治区民族语言文字工作委员会新疆乌鲁木齐830001

针对可信网络连接架构中所定义的访问控制粒度粗、对于如何评估访问请求者的可信级别,如何实施授权访问没有定义等问题,提出了根据请求者的行为及其平台计算环境特征评估其信任级别的方法,研究了具有反馈功能的动态访问授权模型,并在构... 详细信息

针对可信网络连接架构中所定义的访问控制粒度粗、对于如何评估访问请求者的可信级别,如何实施授权访问没有定义等问题,提出了根据请求者的行为及其平台计算环境特征评估其信任级别的方法,研究了具有反馈功能的动态访问授权模型,并在构建可信网络连接原型系统的基础上,实现了从连接到授权的接入控制和动态调整.

关键词：可信计算可信网络连接细粒度授权模型接入控制

来源：评论

学校读者我要写书评

暂无评论

一种改进的指针安全分析算法

一种改进的指针安全分析算法

引用

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

作者：郭曦何炎祥张焕国胡颖加米拉·沙塔尔武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072 武汉大学计算机学院湖北武汉430072 新疆维吾尔自治区民族语言文字工作委员会新疆乌鲁木齐830001

指针的安全性是C语言程序中的常见问题,它严重影响到系统的安全性.针对指针静态分析中的精度问题,比较分析了目前常见的5种指针分析算法的优缺点,提出了一种基于流不敏感的改进指针静态分析算法.该算法是在Steensgaard算法的基础上,对... 详细信息

指针的安全性是C语言程序中的常见问题,它严重影响到系统的安全性.针对指针静态分析中的精度问题,比较分析了目前常见的5种指针分析算法的优缺点,提出了一种基于流不敏感的改进指针静态分析算法.该算法是在Steensgaard算法的基础上,对程序的控制流图进行改进,通过该算法可以得到比常见的数据流不敏感算法更为精确的指针分析结果.在实验室开发的国内首款商用编译器中实现了该算法,实验结果表明该算法可以提高指针分析的精度.

关键词：指针安全数据流分析 Steensgaard算法精度

来源：评论

学校读者我要写书评

暂无评论

基于模型检测的可信软件栈测试

基于模型检测的可信软件栈测试

引用

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

作者：何凡张焕国严飞杨飏汪红孟学军武汉大学计算机学院湖北武汉430072 武汉理工大学计算机科学与技术学院湖北武汉430063 武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072 湖北省政府采购中心湖北武汉430072 武汉大学网络中心湖北武汉430072

基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中... 详细信息

基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中的软件栈不完全符合可信计算组织(TCG)的规范要求.

关键词：可信计算平台可信软件栈计算树逻辑一致性测试

来源：评论

学校读者我要写书评

暂无评论

智能变电站嵌入式终端安全测试方法研究

引用

电力建设 2021年第2期42卷 126-136页

作者：李福阳李俊娥刘林彬刘威林海倪明空天信息安全与可信计算教育部重点实验室武汉大学国家网络安全学院武汉市430072 南瑞集团有限公司(国网电力科学研究院有限公司) 南京市211106 国电南瑞科技股份有限公司南京市211106 智能电网保护和运行控制国家重点实验室南京市211106

智能变电站中,量测与控制业务用嵌入式终端的脆弱性是变电站受到网络安全威胁的重要原因。文章分析了智能变电站嵌入式终端的脆弱性和可能遭受的网络攻击,提出了智能变电站嵌入式终端安全测评指标及内容,同时针对各测评内容,研究了相应... 详细信息

智能变电站中,量测与控制业务用嵌入式终端的脆弱性是变电站受到网络安全威胁的重要原因。文章分析了智能变电站嵌入式终端的脆弱性和可能遭受的网络攻击,提出了智能变电站嵌入式终端安全测评指标及内容,同时针对各测评内容,研究了相应的安全测试技术。文章以国内某省电力公司智能变电站实验室为依托对五类嵌入式终端进行了安全测评,给出了测试过程、测评结果和整改建议,示范了所提测评指标及测试技术的应用方法。文章工作可用于智能变电站嵌入式终端的入网前或产品升级后的安全性测试,以充分发现和消除其脆弱性,提升终端安全水平,同时可为智能变电站二次系统在线安全防护提供参考。

关键词：智能变电站嵌入式终端网络安全测评指标测试技术

来源：评论

学校读者我要写书评

暂无评论

基于图表示学习的恶意软件分类方法

基于图表示学习的恶意软件分类方法

引用

第三届工业信息安全应急国际研讨会

作者：张英韬王宝会武汉大学国家网络安全学院湖北武汉 430072 空天信息安全与可信计算教育部重点实验室(武汉大学) 湖北武汉 430072 北京航空航天大学软件学院北京 102206

由于Windows系统用户众多，针对于Windows系统的恶意软件层出不穷，但是目前对windows恶意软件的识别准确率不是很高，而且大多是单独基于API序列进行分析.这种方式只能捕捉恶意软件的行为时间信息，并无法获取其行为之间的拓扑结构和... 详细信息

由于Windows系统用户众多，针对于Windows系统的恶意软件层出不穷，但是目前对windows恶意软件的识别准确率不是很高，而且大多是单独基于API序列进行分析.这种方式只能捕捉恶意软件的行为时间信息，并无法获取其行为之间的拓扑结构和行为之间的联系.本文使用动态检测方式，将CUCKOO沙箱中得到的恶意软件的报告转化为图结构数据，并根据其API的多线程调用信息，得到该恶意软件的诸多子图.同时，本文还创新性对恶意软件调用的序列信息进行提取，根据其两边节点组成相应边节点.最终本文将得到的恶意软件图表示输入至图神经网络中进行学习，在经过TopK池化后读出至全连接层进行分类.本文使用的方法在分类准确率上相比于之前的方法有着非常大的提升，二分类测试集准确率达到了99.2%，超过恶意软件的其他方法.同时消融实验也显示了算法的有效性.

关键词： Windows恶意软件检测图表示学习边节点嵌入深度游走多子图

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：