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

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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

面向云边端协同网络的eBPF赋能任务卸载研究

引用

郑州大学学报(理学版) 2024年

作者：李硕严飞张立强罗清彩杨小林空天信息安全与可信计算教育部重点实验室武汉大学国家网络安全学院山东浪潮科学研究院有限公司浪潮智慧科技有限公司

作为云边端协同网络的关键技术之一,计算卸载是解决边缘嵌入式设备计算能力不足、资源有限等问题的有效手段。当前一些相关工作主要关注在给定环境模拟参数下研究如何降低延迟、减少能耗等,然而,如何准确感知云边端协同网络的实时变化... 详细信息

作为云边端协同网络的关键技术之一,计算卸载是解决边缘嵌入式设备计算能力不足、资源有限等问题的有效手段。当前一些相关工作主要关注在给定环境模拟参数下研究如何降低延迟、减少能耗等,然而,如何准确感知云边端协同网络的实时变化、灵活地实施任务卸载仍然是一个亟须解决的挑战。提出了名为FreeOffload的云边端协同网络任务卸载框架,利用拓展的伯克利包过滤器(extended Berkeley package filter,eBPF)技术实现了计算资源、网络状态的实时感知;设计了适用于异构嵌入式端设备的任务灵活重卸载方案,实现边缘节点负载均衡;搭建小型云边端协同原型实验系统,评估结果表明该框架能在引入较小开销的情况下高效灵活地实现端设备任务卸载。

关键词：云边端协同网络拓展的伯克利包过滤器任务卸载负载均衡

来源：评论

学校读者我要写书评

暂无评论

RISC-V架构上的时间侧信道静态检测研究

引用

信息网络安全 2022年第4期 7-19页

作者：唐明黎聪李永波岳天羽武汉大学国家网络安全学院武汉430064 武汉大学空天信息安全与可信计算教育部重点实验室武汉430064 北京航空航天大学网络空间安全学院北京100191

时间侧信道攻击对开源RISC-V架构的软件机密性有严重威胁,而目前对于RISC-V架构上的时间侧信道泄露静态检测的研究较为缺乏。文章评估了常见的时间侧信道泄露静态分析方法的适用范围和优缺点,根据RISC-V汇编语言的特点优化检测算法,针对... 详细信息

时间侧信道攻击对开源RISC-V架构的软件机密性有严重威胁,而目前对于RISC-V架构上的时间侧信道泄露静态检测的研究较为缺乏。文章评估了常见的时间侧信道泄露静态分析方法的适用范围和优缺点,根据RISC-V汇编语言的特点优化检测算法,针对RISC-V的64位通用指令集RV64G实现了结合信息流分析和简化符号执行理论的时间侧信道检测模型。文章对通用开源网络通信密码库OpenSSL和NaCl的AES、RSA等密码算法实现进行测试,测试结果表明,相较于现有工具中准确率最高的模型,文章所提模型在相同的测试向量下准确率提高了约17%,漏报率降低了约22%,加快了检测速度并在一定程度上缓解了路径爆炸问题,为RISC-V架构上侧信道攻击安全检测工具设计提供了参考。

关键词：时间侧信道静态检测 RISC-V架构密码算法

来源：评论

学校读者我要写书评

暂无评论

一种面向AAC的通用隐写分析方法

一种面向AAC的通用隐写分析方法

引用

第三届CCF大数据学术会议

作者：任延珍熊浩王丽娜空天信息安全与可信计算教育部重点实验室/武汉大学计算机学院

AAC(Advanced Audio Coding)是一种高效音频编码标准,目前已逐步取代MP3,在移动互联网中得到广泛应用,基于AAC压缩域的隐写给互联网信息内容的安全传输带来了新的挑战。本文针对AAC的多种MDCT系数修改隐写算法,提出基于帧间帧内多阶差...

AAC(Advanced Audio Coding)是一种高效音频编码标准,目前已逐步取代MP3,在移动互联网中得到广泛应用,基于AAC压缩域的隐写给互联网信息内容的安全传输带来了新的挑战。本文针对AAC的多种MDCT系数修改隐写算法,提出基于帧间帧内多阶差分相关性的AAC隐写分析特征集合,对集合中各个子特征集的分类特性进行分析后,结合AAC编码特性对子特征进行融合,采用随机森林组合分类器,实现了面向AAC MDCT系数修改的通用隐写分析。实验结果表明,本文所提算法对现有隐写算法能够实现有效的通用检测;同时,对比实验结果表明,本文算法较现有同类隐写分析算法的检测;同时,对比实验结果表明,本文算法较现有同类隐写分析算法的检测正确率有明显的提升。

关键词：

来源：评论

学校读者我要写书评

暂无评论

基于业务逻辑的电力业务报文攻击识别方法

引用

电力自动化设备 2020年第8期40卷 217-224页

作者：王海翔朱朝阳王宇张锐文李俊娥李霁远应欢中国电力科学研究院有限公司信息通信研究所北京100192 武汉大学国家网络安全学院空天信息安全与可信计算教育部重点实验室湖北武汉430072 国网浙江省电力有限公司电力科学研究院浙江杭州310014

针对电网测控终端的电力业务报文攻击极易造成电力一次设备误动,从而引发电力事故。电力业务报文攻击通常通过干扰正常业务逻辑达到攻击目的,已有攻击识别方法没有考虑业务逻辑,有效性比较差。因此,提出一种基于业务逻辑的电力业务报文... 详细信息

针对电网测控终端的电力业务报文攻击极易造成电力一次设备误动,从而引发电力事故。电力业务报文攻击通常通过干扰正常业务逻辑达到攻击目的,已有攻击识别方法没有考虑业务逻辑,有效性比较差。因此,提出一种基于业务逻辑的电力业务报文攻击识别方法,该方法定义了电力业务逻辑状态链和黑白名单,将误用检测与异常检测方法相结合,基于业务逻辑黑白名单对业务的威胁度进行评估,并考虑电网时间风险与业务重要性,对威胁度进行修正,通过比较业务威胁度与安全阈值,实现对电力业务报文攻击的高效准确识别。给出了应用所提方法实现的一个攻击识别系统架构,并对实现后的系统进行了测试,验证了所提方法的有效性。

关键词：电力业务报文攻击攻击识别方法业务逻辑状态链电网测控终端

来源：评论

学校读者我要写书评

暂无评论

面向平台的可信计算环境构造方法研究

面向平台的可信计算环境构造方法研究

引用

第十九届全国信息保密学术会议(IS2009)

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

目前可信计算已经成为信息安全领域的新潮流,对构建安全信息系统有重大指导意义.可信环境的构建是可信计算系统安全的基础,目前国内外可信计算平台产品的体系结构都是对现有通用产品的迁就和妥协,未在理论上做出证明和分析,并不是构建... 详细信息

目前可信计算已经成为信息安全领域的新潮流,对构建安全信息系统有重大指导意义.可信环境的构建是可信计算系统安全的基础,目前国内外可信计算平台产品的体系结构都是对现有通用产品的迁就和妥协,未在理论上做出证明和分析,并不是构建可信环境的最佳结构,对系统信任边界的动态扩展缺乏有效支持. 本文研究面向平台的可信计算环境构建的理论模型和关键技术.该模型将突出星型的可信环境结构特点,降低信任传递过程中的信任损耗;同时根据该模型具体设计出一种新的可信计算平台体系结构,该体系结构能够灵活地扩展信任边界;最终提出一种新的可信度量方法,支持多信任等级的可信度量. 上述研究,可以有效地解决可信环境构建、体系结构、度量方法等问题.

关键词：可信计算体系架构理论模型信息安全

来源：评论

学校读者我要写书评

暂无评论

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距离拼接算法

来源：评论

学校读者我要写书评

暂无评论

主流操作系统安全课程建设

引用

职业教育（汉斯） 2016年第4期5卷 79-83页

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

操作系统是信息系统的核心,而操作系统安全也是信息系统安全的核心。2014年教育部高等学校信息安全专业教学指导委员会颁布的新版信息安全专业教学大纲中增设了《主流操作系统安全》课程。然而,当前国内外并未形成较完整的操作系统安全... 详细信息

操作系统是信息系统的核心,而操作系统安全也是信息系统安全的核心。2014年教育部高等学校信息安全专业教学指导委员会颁布的新版信息安全专业教学大纲中增设了《主流操作系统安全》课程。然而,当前国内外并未形成较完整的操作系统安全课程教学体系。武汉大学于2014年开设了主流操作系统安全课程,并在课程建设中不断的探索与实践,初步建立了以操作系统安全架构、操作系统安全机制分析、内核漏洞攻防、操作系统安全测评为基本内容的课程知识体系。本文给出了主流操作系统课程建设的相关内容及教学体会。

关键词：操作系统安全课程建设教学质量

来源：评论

学校读者我要写书评

暂无评论

基于交易序列分层变异的EVM模糊测试

引用

计算机系统应用 2023年第9期32卷 257-264页

作者：周潮晖赵易如刘佩王笑克童铃皓赵磊武汉大学国家网络安全学院空天信息安全与可信计算教育部重点实验室武汉430072

以太坊虚拟机是以太坊区块链中关键组成部分,其缺陷会导致交易的执行结果出现偏差,给以太坊生态带来严重问题.现有的以太坊虚拟机缺陷检测工作仅将虚拟机视为独立的智能合约执行工具,没有完整测试其工作流程,从而导致缺陷检测存在盲点.... 详细信息

以太坊虚拟机是以太坊区块链中关键组成部分,其缺陷会导致交易的执行结果出现偏差,给以太坊生态带来严重问题.现有的以太坊虚拟机缺陷检测工作仅将虚拟机视为独立的智能合约执行工具,没有完整测试其工作流程,从而导致缺陷检测存在盲点.针对上述问题,提出了一种以太坊虚拟机运行全过程的缺陷检测方法 (ETHCOV).ETHCOV首先结合权重策略指导智能合约、合约接口参数输入和交易序列按不同粒度变异,然后将其与区块状态以及世界状态打包作为测试用例,最后将测试用例输入到以太坊虚拟机中触发运行并对比检验运行结果,以此来检测以太坊虚拟机的漏洞缺陷.基于上述方法实现了一个原型系统,并以2万多个真实智能合约作为为输入对以太坊虚拟机进行缺陷检测测试.实验结果表明,相较于现有工具EVMFuzzer, ETHCOV的测试效率提升了339%,代码覆盖率提升了125%,并检测出3组用例的不一致输出.这些结果表明ETHCOV能有效检测以太坊虚拟机的缺陷.

关键词：以太坊虚拟机模糊测试智能合约交易序列

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：