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

软件学报 2011年第2期22卷 269-284页

作者：朱欣焰周春辉呙维夏宇武汉大学测绘遥感信息工程国家重点实验室湖北武汉430079 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430079 武汉理工大学航运学院湖北武汉430063 江西师范大学地理与环境学院江西南昌330022

研究分布式空间数据库(distributed spatial database,简称DSDB)中数据按区域分片时的跨边界片段拓扑连接查询问题,并提出相应的优化方法.首先研究了分布式环境下的空间数据的分片与分布,提出了空间数据分片的扩展原则:空间聚集性、空... 详细信息

研究分布式空间数据库(distributed spatial database,简称DSDB)中数据按区域分片时的跨边界片段拓扑连接查询问题,并提出相应的优化方法.首先研究了分布式环境下的空间数据的分片与分布,提出了空间数据分片的扩展原则:空间聚集性、空间对象的不分割性、逻辑无缝保持性.然后,将区域分割分片环境下的片段连接分为跨边界和非跨边界两类;同时,将拓扑关系分为两类,重点研究跨边界的两类片段拓扑连接.提出了跨边界空间片段拓扑连接优化的两个定理,并给出了证明.以此为基础,给出了跨边界空间拓扑连接优化规则,包括连接去除规则和连接优化转化规则.最后设计了详细的实验,对自然连接策略、半连接策略以及所提出的连接策略进行效率比较,结果表明,所提出的方法对跨边界连接优化有明显优势.因此,所提出的理论和方法可以用于分布式跨边界拓扑关系查询的优化.

关键词：空间数据库区域分片跨边界拓扑连接分布式查询优化

来源：评论

学校读者我要写书评

暂无评论

一类具有安全加密功能的扩展MQ公钥密码体制

引用

中国科学：信息科学 2011年第11期41卷 1297-1309页

作者：王后珍张焕国王张宜唐明武汉大学计算机学院空天信息安全与可信计算教育部重点实验室武汉430072 武汉大学软件工程国家重点实验室武汉430072

量子计算机的发展,对目前广泛应用的传统公钥密码体制(如RSA,ECC等)构成了严重的威胁.MQ公钥密码是目前抗量子计算密码领域中最为活跃的热点研究课题之一,但是目前MQ公钥密码只能用于签名,很难构造出安全的加密算法.同时,随着近年来多... 详细信息

量子计算机的发展,对目前广泛应用的传统公钥密码体制(如RSA,ECC等)构成了严重的威胁.MQ公钥密码是目前抗量子计算密码领域中最为活跃的热点研究课题之一,但是目前MQ公钥密码只能用于签名,很难构造出安全的加密算法.同时,随着近年来多个MQ签名算法相继被攻破,人们对MQ类公钥密码体制的安全性产生了质疑.本文通过引入Hash认证技术、并结合传统MQ公钥密码算法,提出了一种扩展MQ公钥密码体制,它可看作是对传统MQ公钥密码算法结构的本质拓展.利用本文引入的Hash认证技术可有效地提升MQ签名算法的安全性,同时也可据此设计出安全高效的MQ公钥加密方法.

关键词：密码学抗量子计算密码学 MQ问题 Hash函数

来源：评论

学校读者我要写书评

暂无评论

基于文件过滤驱动的连续数据捕获技术及其容灾应用研究

引用

小型微型计算机系统 2011年第3期32卷 477-482页

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

根据数据容灾技术的发展趋势,结合连续数据保护的具体目标和现有数据捕获技术的优缺点,提出一种基于文件过滤驱动的连续数据捕获方法,描述了连续数据捕获的实现流程,并详细阐述了在连续数据捕获中所涉及的IRP截获技术、内核数据传输技术... 详细信息

根据数据容灾技术的发展趋势,结合连续数据保护的具体目标和现有数据捕获技术的优缺点,提出一种基于文件过滤驱动的连续数据捕获方法,描述了连续数据捕获的实现流程,并详细阐述了在连续数据捕获中所涉及的IRP截获技术、内核数据传输技术,最后使用该方法构建了一个面向业务连续性的安全容灾备份软件并给出了相关测试结果.与连续快照和API原语劫持相比,该方法具有数据捕获效率高、无数据遗漏、代价较低、对上层应用影响小的特点.

关键词：连续数据捕获 Windows驱动模型内核数据传输文件过滤驱动

来源：评论

学校读者我要写书评

暂无评论

量子计算的挑战与思考

引用

云南民族大学学报（自然科学版） 2011年第5期20卷 388-395页

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

量子计算时代使用什么密码,是摆在我们面前的紧迫的战略问题,研究并建立我国独立自主的抗量子计算密码是唯一正确的选择.从基于HASH函数的数字签名、基于格的公钥密码、MQ公钥密码、基于纠错码的公钥密码4个方面讨论了抗量子密码的发展... 详细信息

量子计算时代使用什么密码,是摆在我们面前的紧迫的战略问题,研究并建立我国独立自主的抗量子计算密码是唯一正确的选择.从基于HASH函数的数字签名、基于格的公钥密码、MQ公钥密码、基于纠错码的公钥密码4个方面讨论了抗量子密码的发展现状,介绍了自己的研究工作,并从量子信息论、量子计算理论、量子计算环境下的密码安全性、抗量子计算密码的构造理论与关键技术4个方面给出了进一步研究的建议.

关键词：信息安全密码学量子计算抗量子计算密码

来源：评论

学校读者我要写书评

暂无评论

抗量子计算密码体制研究(待续)

引用

信息网络安全 2011年第5期 1-4页

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

量子计算机的发展,对目前广泛应用的RSA、ECC等公钥密码体制构成了严重的威胁,面临量子计算机的挑战,国际上掀起了抗量子计算公钥密码的研究热潮。介绍了常见的几种抗量子公钥密码体制,对这些方案作出了较为详细的评述,并对这一领域的... 详细信息

量子计算机的发展,对目前广泛应用的RSA、ECC等公钥密码体制构成了严重的威胁,面临量子计算机的挑战,国际上掀起了抗量子计算公钥密码的研究热潮。介绍了常见的几种抗量子公钥密码体制,对这些方案作出了较为详细的评述,并对这一领域的研究与发展给出了展望,同时指出了一系列值得研究的开放问题。

关键词：密码学量子计算抗量子密码学

来源：评论

学校读者我要写书评

暂无评论

抗量子计算密码体制研究(续前)

引用

信息网络安全 2011年第6期 56-59页

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

该文首先介绍了量子计算机的发展现状,指出其对目前广泛应用的RSA、ECC等公钥密码体制构成了严重的威胁。面对量子计算机的挑战,国际上掀起了抗量子计算公钥密码的研究热潮。该文介绍了常见的几种抗量子公钥密码体制,对这些方案作出了... 详细信息

该文首先介绍了量子计算机的发展现状,指出其对目前广泛应用的RSA、ECC等公钥密码体制构成了严重的威胁。面对量子计算机的挑战,国际上掀起了抗量子计算公钥密码的研究热潮。该文介绍了常见的几种抗量子公钥密码体制,对这些方案作出了较为详细的评述,并对这一领域的研究与发展给出了展望,同时指出了一系列值得研究的开放问题。

关键词：密码学量子计算抗量子密码学

来源：评论

学校读者我要写书评

暂无评论

面向可靠性的动态Web服务组合选择策略研究

面向可靠性的动态Web服务组合选择策略研究

引用

2011中国计算机学会服务计算学术会议(CCF NCSC 2011)

作者：徐明迪赵恒张焕国武汉数字工程研究所武汉大学计算机学院武汉大学空天信息安全与可信计算教育部重点实验室

环境的动态适应是Web服务保证其可靠性的重要手段,当业务逻辑和网络环境发生变化时,需要在运行时刻对Web服务组合进行动态调整。基于马尔可夫模型和动态Web服务组合技术,提出一种支持动态Web服务可组合性、可靠性的选择模型-DWSSR(Dynam... 详细信息

环境的动态适应是Web服务保证其可靠性的重要手段,当业务逻辑和网络环境发生变化时,需要在运行时刻对Web服务组合进行动态调整。基于马尔可夫模型和动态Web服务组合技术,提出一种支持动态Web服务可组合性、可靠性的选择模型-DWSSR(Dynamic Web Seb Service Selection Model for Reliability)。DWSSR用有限状态机对Web服务中的服务类型、操作调用序列建模,用马尔可夫模型构造可靠性聚合算法,计算运行时刻每一个配置下操作执行成功的概率,从而使应用程序可在必要时通过有选择性的更新来调整适应能力。实现了支持DWSSR的原型系统,并通过实验验证了其有效性。

关键词：服务组合马尔可夫模型可靠性

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

2011年第五届中国可信计算与信息安全学术会议(CTCIS2011)

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

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

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

关键词：约束求解静态单赋值符号动态执行指针分析路径选择

来源：评论

学校读者我要写书评

暂无评论

一种基于谓词抽象的测试用例约简生成方法

一种基于谓词抽象的测试用例约简生成方法

引用

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

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

测试用例约简生成问题是软件测试过程中的关键问题之一，其目标是使用尽可能少的测试用例充分满足给定的测试目标，以提高测试效率、降低测试成本。提出一种基于谓词抽象的测试用例约简生成方法，该方法依据给定的谓词集合对软件系统的... 详细信息

测试用例约简生成问题是软件测试过程中的关键问题之一，其目标是使用尽可能少的测试用例充分满足给定的测试目标，以提高测试效率、降低测试成本。提出一种基于谓词抽象的测试用例约简生成方法，该方法依据给定的谓词集合对软件系统的状态空间进行等价类划分，通过状态集合之间的映射得到约简的抽象状态，并以抽象状态之间的迁移关系作为测试用例约简生成的基础。实验结果表明，该方法可以有效地对系统状态进行约简，并生成规模较小的测试用例集。

关键词：谓词抽象状态约简等价类划分测试用例生成软件测试

来源：评论

学校读者我要写书评

暂无评论

可信PDA计算平台系统结构与安全机制

引用

计算机学报 2010年第1期33卷 82-92页

作者：赵波张焕国李晶陈璐文松武汉大学计算机学院武汉430079 空天信息安全与可信计算教育部重点实验室武汉430079

PDA作为一种手持设备,面临着众多的安全问题.文中利用可信计算思想构造了可信PDA的体系结构与安全机制.首先提出了一种带数据恢复功能的星型信任结构,其在安全性、效率及可靠性等方面较TCG的链式信任结构都有很大提升.在此基础上,进一... 详细信息

PDA作为一种手持设备,面临着众多的安全问题.文中利用可信计算思想构造了可信PDA的体系结构与安全机制.首先提出了一种带数据恢复功能的星型信任结构,其在安全性、效率及可靠性等方面较TCG的链式信任结构都有很大提升.在此基础上,进一步使用总线仲裁等技术构造了可信PDA的体系结构模型.文中还提出并实现了针对可信PDA嵌入式操作系统的安全增强、基于可信PDA平台的可信网络连接(TNC)以及SD卡全卡加密等新的安全技术与方法.在此基础上,给出一种可信PDA的原型系统.经过实验验证,这款可信PDA在各方面都达到了可信计算平台的技术要求.

关键词：可信计算可信计算平台可信PDA 星型信任结构

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：