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

第三届可信计算与信息安全学术会议

作者：王邦菊张焕国王张宜王玉华武汉大学计算机学院武汉市珞喻路129号430079 华中农业大学理学院武汉市狮子山1号430070 武汉大学空天信息安全及可信计算教育部重点实验室武汉市珞喻路129号430079 武汉大学计算机学院武汉市珞喻路129号430079 武汉大学空天信息安全及可信计算教育部重点实验室武汉市珞喻路129号430079 河南工业大学信息科学与工程学院郑州市莲花街450052

改进了Hwang-Yeh方案,提出了一种新的匿名口令认证方案.新方案采用匿名和隐藏口令等方式,弥补了Hwang-Yeh方案的安全缺陷,能抵抗更多的安全攻击,如服务器欺骗、伪造攻击等.新方案与Hwang-Yeh方案、Peyravian-Zunic方案以及Peyravian-Jef... 详细信息

改进了Hwang-Yeh方案,提出了一种新的匿名口令认证方案.新方案采用匿名和隐藏口令等方式,弥补了Hwang-Yeh方案的安全缺陷,能抵抗更多的安全攻击,如服务器欺骗、伪造攻击等.新方案与Hwang-Yeh方案、Peyravian-Zunic方案以及Peyravian-Jeffries方案进行了安全性比较分析。结果表明,在不安全网络通信中,新口令认证方案具有更高的安全性和实用性。

关键词：口令认证哈希函数安全攻击双向匿名服务器欺骗网络安全

来源：评论

学校读者我要写书评

暂无评论

一种用于空间数据整合的建筑物面实体对齐方法

一种用于空间数据整合的建筑物面实体对齐方法

引用

2018测绘遥感高层论坛

作者：朱欣焰刘凌佳武汉大学测绘遥感信息工程国家重点实验室湖北武汉430079 地球空间信息技术协同创新中心湖北武汉430079 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学测绘遥感信息工程国家重点实验室湖北武汉430079

提出了一种用于空间数据整合的建筑物面实体对齐方法,可用来改善空间数据的位置精度.首先,采用基于最小外接矩形(minimum bounding rectangle,MBR)组合优化算法的匹配方法识别整合数据之间的同名实体;然后,提出基于几何相似性的成对约... 详细信息

提出了一种用于空间数据整合的建筑物面实体对齐方法,可用来改善空间数据的位置精度.首先,采用基于最小外接矩形(minimum bounding rectangle,MBR)组合优化算法的匹配方法识别整合数据之间的同名实体;然后,提出基于几何相似性的成对约束谱匹配算法检测1∶1、1∶N和M:N同名实体之间的共轭点对;针对1∶N和M∶N匹配中不可避免存在弱对应点对和错误对应点对的问题,提出基于IGG1权重的最小二乘法来有效对齐同名实体.将所提出的方法应用于对齐较高位置精度的基础测绘地图数据和较低位置精度的谷歌地图数据中,结果表明,该方法不仅可检测存在复杂轮廓对应的1∶N和M∶N同名实体的共轭点对,而且可实现它们之间的有效对齐,使同名实体的位置信息差异最小化.

关键词：地形图建筑物面实体对齐空间数据整合

来源：评论

学校读者我要写书评

暂无评论

基于认知Hash的文本来源可信性检测

基于认知Hash的文本来源可信性检测

引用

第九届全国信息隐藏暨多媒体信息安全学术大会CIHW2010

作者：胡东辉王丽娜张娟胡学钢朱婷婷武汉大学计算机学院，湖北武汉 430079 合肥工业大学计算机与信息学院网络与信息安全研究所，安徽合肥 230009 武汉大学计算机学院，湖北武汉 430079 空天信息安全及可信计算教育部重点实验室，湖北武汉 430072 合肥工业大学计算机与信息学院网络与信息安全研究所，安徽合肥 230009

网络环境下海量数据的来源可信性研究十分重要.本文提出和设计了一种基于认知hash的文本来源可信性检测方法.我们基于知网语义特征，设计了一种文本认知hash函数，给出了一种可行的hash距离度量方法.实验结果证实了本文所提出的认知has... 详细信息

网络环境下海量数据的来源可信性研究十分重要.本文提出和设计了一种基于认知hash的文本来源可信性检测方法.我们基于知网语义特征，设计了一种文本认知hash函数，给出了一种可行的hash距离度量方法.实验结果证实了本文所提出的认知hash设计方法的有效性.

关键词：文本信息认知hash 来源可信性

来源：评论

学校读者我要写书评

暂无评论

一种新的可信平台模块

一种新的可信平台模块

引用

第三届可信计算与信息安全学术会议

作者：张焕国覃中平刘毅韩永桥武汉大学计算机学院武汉市珞喻路129号430079 武汉大学空天信息安全与可信计算教育部重点实验室武汉市珞喻路129号430079 武汉大学计算机学院武汉市珞喻路129号430079 瑞达信息安全产业股份有限公司武汉市武珞路628号430070

介绍了可信平台模块(TPM)的结构和技术,指出了TCG的可信平台模块存在的一些不足.在此基础上,详细介绍了研制的一种新型可信平台模块.它在资源上是丰富的,在功能和性能上是先进的,符合TCG的技术规范.经过实际测试,其密码运算速度是高速的... 详细信息

介绍了可信平台模块(TPM)的结构和技术,指出了TCG的可信平台模块存在的一些不足.在此基础上,详细介绍了研制的一种新型可信平台模块.它在资源上是丰富的,在功能和性能上是先进的,符合TCG的技术规范.经过实际测试,其密码运算速度是高速的,完全可以满足可信平台模块的各种应用需求.

关键词：可信计算可信平台模块信息安全密码运算 TCG技术

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于结构码的安全数字水印方案

基于结构码的安全数字水印方案

引用

第三届可信计算与信息安全学术会议

作者：郝彦军王丽娜张焕国武汉大学计算机学院武汉市珞喻路129号430079 广东工业大学计算机学院广州市东风东路729号510090 武汉大学计算机学院武汉市珞喻路129号430079 武汉大学空天信息安全及可信计算教育部重点实验室武汉市珞喻路129号430079 武汉大学软件工程国家重点实验室武汉市珞珈山430072

对数字水印模型进行研究,提出了数字水印系统是一个证明系统.指出了有效、公平的数字水印系统的出错概率应满足的条件.利用码的结构性实现了数字水印系统分析,指出该方案具有很强的健壮性,可以通过使用扩展TPM技术来增强该方案的安全性。

关键词：数字水印盲检测结构码信息安全扩展TPM技术

来源：评论

学校读者我要写书评

暂无评论

创建信息安全专业培养体系引领信息安全专业建设

引用

中国信息安全 2015年第11期 79-79页

作者：杜瑞颖张焕国王丽娜彭国军傅建明武汉大学计算机学院信息安全系空天信息安全与可信计算教育部重点实验室

武汉大学信息安全专业创建于2001年,是全国第一个信息安全专业。目前,武汉大学信息安全专业是＂国家特色专业＂和＂湖北省品牌专业＂,拥有从本科、硕士、博士和博士后产业基地的信息安全人才的完整培养体系,是国家信息安全人才的重要培... 详细信息

武汉大学信息安全专业创建于2001年,是全国第一个信息安全专业。目前,武汉大学信息安全专业是＂国家特色专业＂和＂湖北省品牌专业＂,拥有从本科、硕士、博士和博士后产业基地的信息安全人才的完整培养体系,是国家信息安全人才的重要培养基地。2014年＂创建信息安全专业培养体系,引领信息安全专业建设＂获国家教育部教学成果一等奖。

关键词：信息安全专业信息安全人才网络安全品牌专业特色专业产业基地课程大纲虚拟仿真实验专业实验室学校特色

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：