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

网络与信息安全学报 2019年第1期5卷 1-14页

作者：李珍邹德清王泽丽金海华中科技大学计算机科学与技术学院湖北武汉430074 华中科技大学服务计算技术与系统教育部重点实验室湖北武汉430074 华中科技大学集群与网格计算湖北省重点实验室湖北武汉430074 华中科技大学湖北省大数据安全工程研究中心湖北武汉430074 深圳华中科技大学研究院广东深圳518057

软件静态漏洞检测依据分析对象主要分为二进制漏洞检测和源代码漏洞检测。由于源代码含有更为丰富的语义信息而备受代码审查人员的青睐。针对现有的源代码漏洞检测研究工作,从基于代码相似性的漏洞检测、基于符号执行的漏洞检测、基于... 详细信息

软件静态漏洞检测依据分析对象主要分为二进制漏洞检测和源代码漏洞检测。由于源代码含有更为丰富的语义信息而备受代码审查人员的青睐。针对现有的源代码漏洞检测研究工作,从基于代码相似性的漏洞检测、基于符号执行的漏洞检测、基于规则的漏洞检测以及基于机器学习的漏洞检测4个方面进行了总结,并以基于源代码相似性的漏洞检测系统和面向源代码的软件漏洞智能检测系统两个具体方案为例详细介绍了漏洞检测过程。

关键词：软件漏洞源代码漏洞检测代码相似性深度学习

来源：评论

学校读者我要写书评

暂无评论

基于有限状态机引导的网络协议模糊测试方法

引用

软件学报 2024年

作者：袁斌任家俊陈群锦明张驰邹德清金海华中科技大学计算机科学与技术学院大数据技术与系统国家地方联合工程研究中心(华中科技大学) 服务计算技术与系统教育部重点实验室(华中科技大学) 湖北省大数据安全工程技术研究中心(华中科技大学) 分布式系统安全湖北省重点实验室(华中科技大学) 华中科技大学网络空间安全学院金银湖实验室嵩山实验室深圳华中科技大学研究院集群与网格计算湖北省重点实验室(华中科技大学)

模糊测试技术能够自动化挖掘软件当中的漏洞,然而目前针对网络协议的模糊测试工具对于协议实现内部状态空间探索有限,导致覆盖率较低.有限状态机技术能够对网络协议实现进行全方位建模,以深入了解网络协议实现的系统行为和内部状态空间... 详细信息

模糊测试技术能够自动化挖掘软件当中的漏洞,然而目前针对网络协议的模糊测试工具对于协议实现内部状态空间探索有限,导致覆盖率较低.有限状态机技术能够对网络协议实现进行全方位建模,以深入了解网络协议实现的系统行为和内部状态空间.将有限状态机技术和模糊测试技术相结合,提出一种基于有限状态机引导的网络协议模糊测试方法.以广泛使用的TLS协议为研究对象,利用有限状态机学习来对于TLS协议实现进行建模,用来反映协议内部状态空间及其系统行为.随后,基于有限状态机对于TLS协议模糊测试进行引导,使模糊测试的深度更深、覆盖代码更广.为此,实现一个原型系统SNETFuzzer,并且通过一系列对比实验发现SNETFuzzer在覆盖率等重要指标中优于已有工作. SNETFuzzer在实验中成功发现多个漏洞,其中包含两个新漏洞,证明了其实用性和有效性.

关键词：软件测试模糊测试网络协议有限状态机

来源：评论

学校读者我要写书评

暂无评论

医疗健康大数据:应用实例与系统分析

引用

大数据 2015年第2期1卷 78-89页

作者：董诚林立金海廖小飞华中科技大学计算机科学与技术学院服务计算技术与系统教育部重点实验室武汉430074 华中科技大学计算机科学与技术学院集群与网格计算湖北省重点实验室武汉430074

从大数据和医疗健康大数据的介绍出发,首先阐述了医疗健康行业所面临的挑战和大数据对医疗健康行业的促进作用;然后介绍了大数据和医疗健康行业的背景知识;之后举例说明了大数据在医疗健康行业的应用以及医疗健康大数据系统和关键技术。

关键词：大数据医疗健康大数据分析

来源：评论

学校读者我要写书评

暂无评论

CRANE:一个基于个性化基础设施服务的云计算平台

引用

科研信息化技术与应用 2012年第6期3卷 34-46页

作者：徐骁麟吴松石宣化吴小龙华中科技大学计算机科学与技术学院服务计算技术与系统教育部重点实验室&集群与网格计算湖北省重点实验室湖北武汉430074

随着虚拟化技术的成熟,云计算的优势逐渐显露出来,成本的低廉、资源利用率的提高、服务整合的节能以及服务使用的便捷。而获取这些优势的前提是需要一个有针对性的资源管理与应用服务平台,基于此,我们开发了CRANE云计算平台,融合了IaaS(... 详细信息

随着虚拟化技术的成熟,云计算的优势逐渐显露出来,成本的低廉、资源利用率的提高、服务整合的节能以及服务使用的便捷。而获取这些优势的前提是需要一个有针对性的资源管理与应用服务平台,基于此,我们开发了CRANE云计算平台,融合了IaaS(Infrastructure as a Service)及PaaS(Platform as a Service)两个云计算服务层次,提出企业信息化云服务和科学计算云服务这两大类特色PaaS平台。CRANE平台采用虚拟化技术,在底层提供虚拟化资源,向IaaS和PaaS平台提供可定制的虚拟化环境支持。用户既可以利用PaaS平台享用通用的开发环境,又能通过IaaS平台申请所需资源,自主搭建满足自己需求的操作环境。

关键词：云计算云平台虚拟化科学计算企业信息化

来源：评论

学校读者我要写书评

暂无评论

基于抽象语法树的智能化漏洞检测系统

引用

信息安全学报 2020年第4期5卷 1-13页

作者：陈肇炫邹德清李珍金海大数据技术与系统国家工程研究中心服务计算技术与系统教育部重点实验室集群与网格计算湖北省重点实验室大数据安全湖北省工程研究中心武汉430074 华中科技大学计算机科学与技术学院武汉430074 华中科技大学网络空间安全学院武汉430074 深圳华中科技大学研究院深圳518000

源代码漏洞的自动检测是一个重要的研究课题。目前现有的解决方案大多是基于线性模型,依赖于源代码的文本信息而忽略了语法结构信息,从而造成了源代码语法和语义信息的丢失,同时也遗漏了许多漏洞特征。提出了一种基于结构表征的智能化... 详细信息

源代码漏洞的自动检测是一个重要的研究课题。目前现有的解决方案大多是基于线性模型,依赖于源代码的文本信息而忽略了语法结构信息,从而造成了源代码语法和语义信息的丢失,同时也遗漏了许多漏洞特征。提出了一种基于结构表征的智能化漏洞检测系统Astor,致力于使用源代码的结构信息进行智能化漏洞检测,所考虑的结构信息是抽象语法树(Abstract Syntax Tree,AST)。首先,构建了一个从源代码转化而来且包含源码语法结构信息的数据集,提出使用深度优先遍历的机制获取AST的语法表征。最后,使用神经网络模型学习AST的语法表征。为了评估Astor的性能,对多个基于结构化数据和基于线性数据的漏洞检测系统进行比较,实验结果表明Astor能有效提升漏洞检测能力,降低漏报率和误报率。此外,还进一步总结出结构化模型更适用于长度大,信息量丰富的数据。

关键词：漏洞检测结构表征抽象语法树神经网络

来源：评论

学校读者我要写书评

暂无评论

面向多虚拟机的分布式存储系统

引用

计算机科学与探索 2011年第7期5卷 595-601页

作者：李鹤侯海翔姜跃廖小飞金海华中科技大学计算机科学与技术学院武汉430074 华中科技大学服务计算技术与系统教育部重点实验室武汉430074 华中科技大学集群与网格计算湖北省重点实验室武汉430074

通过分析虚拟桌面系统对存储系统的要求,设计并实现了面向多虚拟机的分布式存储系统——虚拟机存储系统(virtual machine storage,VMStore)。分布式技术具有灵活性和可扩展性,因此采用分布式技术提高多虚拟机存储系统的吞吐率。在元数... 详细信息

通过分析虚拟桌面系统对存储系统的要求,设计并实现了面向多虚拟机的分布式存储系统——虚拟机存储系统(virtual machine storage,VMStore)。分布式技术具有灵活性和可扩展性,因此采用分布式技术提高多虚拟机存储系统的吞吐率。在元数据管理中采用直接块索引结构以获得更好的快照性能,并采用去冗余技术减少多虚拟机镜像之间的冗余数据。实验结果显示存储系统具有较好的吞吐能力,且快照和去冗余的开销对整个系统的影响较小。

关键词：分布式存储虚拟化快照去冗余

来源：评论

学校读者我要写书评

暂无评论

虚拟机全系统回放技术研究

引用

计算机科学与探索 2010年第1期4卷 89-96页

作者：刘海坤金海崔涛廖小飞华中科技大学计算机科学与技术学院服务计算技术与系统教育部重点实验室集群与网格计算湖北省重点实验室武汉430074 中兴通讯公司北京100191

研究了虚拟化体系结构下全系统回放的方法,设计实现了基于半虚拟化设备模型的虚拟机回放系统VMRS(virtual machine based replay system)。通过在虚拟机管理器中记录虚拟机内发生的不确定性事件并在回放时模拟不确定性事件的发生,从而... 详细信息

研究了虚拟化体系结构下全系统回放的方法,设计实现了基于半虚拟化设备模型的虚拟机回放系统VMRS(virtual machine based replay system)。通过在虚拟机管理器中记录虚拟机内发生的不确定性事件并在回放时模拟不确定性事件的发生,从而完整重现系统的执行流。实验表明系统具有良好的性能和可扩展性。

关键词：虚拟机系统回放事件模拟不确定性事件

来源：评论

学校读者我要写书评

暂无评论

可搜索加密的研究进展

引用

网络与信息安全学报 2016年第10期2卷 8-16页

作者：徐鹏金海华中科技大学计算机科学与技术学院服务计算技术与系统教育部重点实验室湖北武汉430074 华中科技大学计算机科学与技术学院集群与网格计算湖北省重点实验室湖北武汉430074 华中科技大学计算机科学与技术学院湖北省大数据技术与系统工程实验室湖北武汉430074

可搜索加密是解决云端不可信条件下加密数据安全云检索的重要方法。针对可搜索公钥加密、可搜索对称加密这2种可搜索加密类型,分别介绍了近几年来学术界的主要成果及其存在的问题、解决方法。在可搜索公钥加密领域,主要介绍了高安全条... 详细信息

可搜索加密是解决云端不可信条件下加密数据安全云检索的重要方法。针对可搜索公钥加密、可搜索对称加密这2种可搜索加密类型,分别介绍了近几年来学术界的主要成果及其存在的问题、解决方法。在可搜索公钥加密领域,主要介绍了高安全条件下降低检索复杂度的方法;在可搜索对称加密领域,主要介绍了高安全条件下支持物理删除的方法。

关键词：可搜索加密云安全可搜索公钥加密可搜索对称加密

来源：评论

学校读者我要写书评

暂无评论

一种多学科虚拟实验教学平台仿真计算与调度机制

一种多学科虚拟实验教学平台仿真计算与调度机制

引用

第六届和谐人机环境联合学术会议（HHME2010)、第19届全国多媒体学术会议（NCMT2010）、第6届全国人机交互学术会议（CHCI2010）、第5届全国普适计算学术会议（PCC2010）

作者：刘超金海蒋文斌李浩张磊王曙光马潇华中科技大学计算机科学与技术学院服务计算技术与系统教育部重点实验室&集群与网格计算湖北省重点实验室

提出了一种新的多学科的虚拟实验平台系统架构。基于多学科统一建模,设计了一种面向多学科的统一仿真计算流程,并实现了一类高效的多学科虚拟实验教学平台的仿真调度机制。通过具体的虚拟实验应用示例,说明了本文方法的有效性。实验表明... 详细信息

提出了一种新的多学科的虚拟实验平台系统架构。基于多学科统一建模,设计了一种面向多学科的统一仿真计算流程,并实现了一类高效的多学科虚拟实验教学平台的仿真调度机制。通过具体的虚拟实验应用示例,说明了本文方法的有效性。实验表明,该调度机制能较好地满足虚拟实验多用户对系统实时性和交互性的需求。

关键词：虚拟实验仿真建模仿真调度

来源：评论

学校读者我要写书评

暂无评论

异构传感器网络中数据收集的能量均衡

异构传感器网络中数据收集的能量均衡

引用

作者：李熙余辰金海蒋文斌服务计算技术与系统教育部重点实验室集群与网格计算湖北省重点实验室华中科技大学计算机科学与技术学院

能耗问题一直制约着无线传感器网络的发展。数据收集工作的能量消耗在整个无线传感器网络运行中占有较大比例,其中又存在能耗不均衡的问题。解决此问题可有效延长系统生命周期,降低系统成本,提高系统性能。本文首先介绍了无线中继节点... 详细信息

能耗问题一直制约着无线传感器网络的发展。数据收集工作的能量消耗在整个无线传感器网络运行中占有较大比例,其中又存在能耗不均衡的问题。解决此问题可有效延长系统生命周期,降低系统成本,提高系统性能。本文首先介绍了无线中继节点两种工作方式,与其能量消耗不均衡问题,接着讨论与比较了几种解决此问题的方法,然后提出了两种基于单跳多跳混合模式的解决策略,最后对此两种策略进行仿真,佐证其效率的有效提高。

关键词：异构的无线传感器网络单跳多跳能量均衡

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：