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

武汉大学学报（理学版） 2013年第5期59卷 458-464页

作者：杨健张焕国武汉大学计算机学院湖北武汉430072 中南民族大学管理学院湖北武汉430074 武汉大学软件工程国家重点实验室湖北武汉430072 空天信息安全与可信计算教育部重点实验室湖北武汉430072

本文构建了一个基于区间集的组合覆盖测试模型并提出了一个基于区间组合的测试用例生成算法(TCGIC).TCGIC算法用符号执行方法收集程序路径的约束条件,寻找相互关联的输入参数;借鉴组合覆盖测试的方法,构建解区间组合树,并选用深度优先... 详细信息

本文构建了一个基于区间集的组合覆盖测试模型并提出了一个基于区间组合的测试用例生成算法(TCGIC).TCGIC算法用符号执行方法收集程序路径的约束条件,寻找相互关联的输入参数;借鉴组合覆盖测试的方法,构建解区间组合树,并选用深度优先策略或其他组合覆盖策略,获得输入参数的区间组合的集合;运用区间运算的方法,把每一个区间组合代入到程序路径的约束条件中,判断区间组合上程序路径的可达性;选用相应的用例生成策略,在路径可达的区间组合上生成测试用例.

关键词：测试用例生成区间集区间组合组合覆盖约束求解区间运算

来源：评论

学校读者我要写书评

暂无评论

LEDA:一种基于Levenshtein距离的DNA序列拼接算法

引用

武汉大学学报（理学版） 2022年第3期68卷 271-278页

作者：崔竞松薛慧王兰兰郭迟空天信息安全与可信计算教育部重点实验室武汉大学国家网络安全学院湖北武汉430072 河海大学理学院江苏南京211100 武汉大学卫星导航定位研究中心湖北武汉430079

针对DNA双端测序产生的两条序列Read1和Read2,提出了一种基于Levenshtein距离的DNA序列拼接算法。根据Read1与Read2末端重叠部分的编辑距离,寻找所有可能正确的序列片段,拼接成完整的DNA序列。该算法将通常用于字符串比对的编辑距离运用... 详细信息

针对DNA双端测序产生的两条序列Read1和Read2,提出了一种基于Levenshtein距离的DNA序列拼接算法。根据Read1与Read2末端重叠部分的编辑距离,寻找所有可能正确的序列片段,拼接成完整的DNA序列。该算法将通常用于字符串比对的编辑距离运用到DNA序列的拼接问题中,将DNA序列拼接问题转换成为可能发生插入、删除以及替换操作的字符串比对问题,算法简单,解决了其他拼接算法使用时有诸多限制条件的问题。拼接正确率高达99%,相比于其他拼接算法O(N^(2))的时间复杂度,时间复杂度仅为O(n·2x),其中N为reads长度,n为overlap长度,x为Read1与Read2末端重叠部分的最小编辑距离,拼接高效,具有良好的技术优势。

关键词： DNA测序技术 Levenshtein距离拼接算法

来源：评论

学校读者我要写书评

暂无评论

可信计算的研究与发展

引用

中国科学：信息科学 2010年第2期40卷 139-166页

作者：沈昌祥张焕国王怀民王戟赵波严飞余发江张立强徐明迪北京工业大学北京100124 武汉大学计算机学院空天信息安全与可信计算教育部重点实验室武汉430072 国防科技大学计算机学院长沙430074

可信计算是一种信息系统安全新技术,它已经成为国际信息安全领域的一个新热潮,并且取得了令人鼓舞的成绩.我国在可信计算领域起步不晚、水平不低、成果可喜.我国已经站在国际可信计算的前列.文中综合论述近年来可信计算理论与技术的一... 详细信息

可信计算是一种信息系统安全新技术,它已经成为国际信息安全领域的一个新热潮,并且取得了令人鼓舞的成绩.我国在可信计算领域起步不晚、水平不低、成果可喜.我国已经站在国际可信计算的前列.文中综合论述近年来可信计算理论与技术的一些新发展,特别是介绍我国可信计算的一些新发展,并对目前可信计算领域存在的一些问题和今后发展提出了自己的看法和观点.

关键词：信息安全可信计算可信计算平台可信软件可信网络连接

来源：评论

学校读者我要写书评

暂无评论

TrustZone架构下基于RPMB的隐私数据保护方法

引用

计算机应用 2018年第A02期38卷 164-169页

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

针对当前移动终端中缺乏有效隐私数据保护方案的问题,利用RPMB分区提出了一种隐私数据保护方法。该方法对隐私数据进行加密保护,并且通过认证密钥以及写计数、随机数等机制实现对数据的认证读和认证写操作。首先,因为TrustZone架构在移... 详细信息

针对当前移动终端中缺乏有效隐私数据保护方案的问题,利用RPMB分区提出了一种隐私数据保护方法。该方法对隐私数据进行加密保护,并且通过认证密钥以及写计数、随机数等机制实现对数据的认证读和认证写操作。首先,因为TrustZone架构在移动终端得到广泛支持,选取TrustZone架构作为RPMB分区载体;然后,基于TrustZone和RPMB两者在安全世界中添加支持模块;再次,通过认证密钥以及写计数、随机数等组件实现对数据的认证读和认证写操作;最后,搭建实验平台对环境作出仿真,同时模拟攻击测试。实验结果表明,该方法对读写操作的重放攻击有较好的防御功能。

关键词：隐私数据保护 RPMB分区 TrustZone eMMC存储认证

来源：评论

学校读者我要写书评

暂无评论

基于移动医疗社交网络的多病症隐私保护匹配协议

基于移动医疗社交网络的多病症隐私保护匹配协议

引用

2014湖北省计算机学会学术年会

作者：杨召唤刘树波李永凯蔡朝晖武汉大学空天信息安全与可信计算教育部重点实验室武汉430072 武汉大学计算机学院武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉430072

随着无线体域网技术的快速发展,移动医疗社交网络作为一个前景广阔的移动健康监测系统应运而生.然而,当前移动医疗社交网络中还存在一些隐私安全问题,例如,当选择病症匹配的对象时如何确保患者的隐私不泄露,以及如何确保对象间通信时的... 详细信息

随着无线体域网技术的快速发展,移动医疗社交网络作为一个前景广阔的移动健康监测系统应运而生.然而,当前移动医疗社交网络中还存在一些隐私安全问题,例如,当选择病症匹配的对象时如何确保患者的隐私不泄露,以及如何确保对象间通信时的私密性.首先提出了一个匹配度量函数计算协议,通过这个协议患者可以根据需要隐秘地选择病症匹配的对象.此外,在匹配度量函数计算协议的基础上,提出了一个基于多病症匹配的密钥协商协议,这个协议能够在对象病症匹配成功的情况下进行认证并生成共享会话密钥,以满足对象间通信时隐私保护的需要.

关键词：移动医疗社交网络隐私保护匹配度量函数多病症匹配密钥协商协议

来源：评论

学校读者我要写书评

暂无评论

新疆广播电视大学网络教学平台课程个性化学习系统的设计与安全机制研究

引用

武汉大学学报（理学版） 2010年第4期56卷 457-461页

作者：米兰.黑娜亚提张立强张焕国新疆广播电视大学远程教育学院乌鲁木齐新疆830049 武汉大学软件工程国家重点实验室武汉湖北430072 武汉大学计算机学院武汉湖北430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉湖北430072

新疆广播电视大学的网络教学平台是新疆发展远程教育的骨干力量,提供双语教学,能够满足绝大部分教学需求,但是在教学内容与平台智能方面还未实现精细化教学的目标,难以实现因材施教.本文针对上述问题,引入了个性化学习理论,在现有网络... 详细信息

新疆广播电视大学的网络教学平台是新疆发展远程教育的骨干力量,提供双语教学,能够满足绝大部分教学需求,但是在教学内容与平台智能方面还未实现精细化教学的目标,难以实现因材施教.本文针对上述问题,引入了个性化学习理论,在现有网络教学平台上设计网上课程个性化学习系统架构,并对系统中的资源建设与管理、个性化设计以及安全性机制进行了探讨.网上课程个性化学习系统可以在确保教学平台安全可信的前提下提高教学质量,有利于学生的个人发展.

关键词：网络化教学个性化学习信息安全

来源：评论

学校读者我要写书评

暂无评论

基于固定基点的安全查询策略

引用

计算机工程与设计 2016年第4期37卷 887-891页

作者：杜瑞颖范东东何琨米兰.黑娜亚提武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 新疆广播电视大学远程教育学校新疆乌鲁木齐830049

针对兴趣点查询服务带来的位置隐私泄露问题,提出一种基于固定基点的位置隐私保护方案FixBP。引入地点l-差异性原则,防范位置同质攻击和地图匹配攻击;固定查询使用的基点,降低构造匿名区域产生的开销,便于位置服务提供商做查询优化。对... 详细信息

针对兴趣点查询服务带来的位置隐私泄露问题,提出一种基于固定基点的位置隐私保护方案FixBP。引入地点l-差异性原则,防范位置同质攻击和地图匹配攻击;固定查询使用的基点,降低构造匿名区域产生的开销,便于位置服务提供商做查询优化。对比实验结果表明,FixBP比DLS方案构造匿名区域的开销更小,FixBP、SpaceTwist、DLS、SybilQuery方案中FixBP为服务提供商带来的查询开销最小;POI数据库分析实验结果表明,FixBP方案比DLS、SybilQuery方案产生的通信开销更小。

关键词：位置服务兴趣点查询固定基点预查询查询有效率

来源：评论

学校读者我要写书评

暂无评论

智能电网环境下一种基于SDKey的智能移动终端远程证明方案

引用

信息网络安全 2018年第7期 1-6页

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

在智能电网中,智能移动终端得到了广泛应用,但是也面临着越来越严重的安全威胁。为防止智能移动终端成为攻击者入侵内部网络的跳板,造成更严重危害,迫切需要对智能移动终端的安全问题进行研究。文章在不改变智能移动终端硬件架构的前提... 详细信息

在智能电网中,智能移动终端得到了广泛应用,但是也面临着越来越严重的安全威胁。为防止智能移动终端成为攻击者入侵内部网络的跳板,造成更严重危害,迫切需要对智能移动终端的安全问题进行研究。文章在不改变智能移动终端硬件架构的前提下引入安全SD卡,设计了针对智能移动终端的安全认证协议,实现了一种基于SDKey的智能移动终端远程证明方案。分析表明,该方案能够从证明领域对移动终端做出较好的安全保障。

关键词：移动终端 SDKey 可信计算远程证明

来源：评论

学校读者我要写书评

暂无评论

基于变色龙哈希区块树的可撤销证书管理机制

引用

计算机应用与软件 2024年第12期41卷 367-375页

作者：余发江徐庆卢岩董之微空天信息安全与可信计算教育部重点实验室武汉大学国家网络安全学院湖北武汉430040 国网辽宁省电力有限公司电力科学研究院辽宁沈阳110006

为了解决单一证书授权中心(Certificate Authority,CA)存在的风险并实现高效证书撤销与查询,提出一种区块树可撤销证书管理机制。该机制使用变色龙哈希函数,仅用一棵树结构就实现了证书的加入和撤销,同时区块树是平衡搜索树,实现证书的... 详细信息

为了解决单一证书授权中心(Certificate Authority,CA)存在的风险并实现高效证书撤销与查询,提出一种区块树可撤销证书管理机制。该机制使用变色龙哈希函数,仅用一棵树结构就实现了证书的加入和撤销,同时区块树是平衡搜索树,实现证书的高效验证与查询。对该机制进行系统建模和安全证明,并进行原型验证。实验和分析表明,该机制空间占用较少,证书的查询、加入和撤销均为对数时间复杂度,同时其分布式特性有效解决了中心化机构存在的风险问题。

关键词：证书管理变色龙哈希区块树可撤销

来源：评论

学校读者我要写书评

暂无评论

HyperSpector:基于UEFI的VMM动态可信监控基的设计与实现

引用

网络与信息安全学报 2016年第12期2卷 47-55页

作者：王锴李志华黄凡严飞空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072

随着计算机技术的高速发展,云计算这一计算模式得到迅速推广。尽管可通过VMM来对云服务安全状态进行监控与安全增强,但VMM自身的安全性往往是安全的前提。为了增强VMM的安全性,提出一种基于UEFI的VMM动态可信监控基的设计与实现方法,通... 详细信息

随着计算机技术的高速发展,云计算这一计算模式得到迅速推广。尽管可通过VMM来对云服务安全状态进行监控与安全增强,但VMM自身的安全性往往是安全的前提。为了增强VMM的安全性,提出一种基于UEFI的VMM动态可信监控基的设计与实现方法,通过UEFI的固件运行特性,在VMM下增加一层安全监控层,实现在不增加新硬件成本的前提下对VMM的透明监测。实验表明,所提出的监控方案是安全有效的。

关键词：云计算可信计算动态可信统一的可扩展固件接口虚拟机监控器

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：