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

计算机科学 2010年第6期37卷 155-158,185页

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

符号执行是目前较为行之有效的软件缺陷自动化检测方法,计算代价昂贵与程序执行路径爆炸是两个影响其性能的关键问题。提出了一种针对C语言程序内存访问缺陷的符号执行检测方法,该方法可通过自动化构造的测试用例发现程序内部的内存访... 详细信息

符号执行是目前较为行之有效的软件缺陷自动化检测方法,计算代价昂贵与程序执行路径爆炸是两个影响其性能的关键问题。提出了一种针对C语言程序内存访问缺陷的符号执行检测方法,该方法可通过自动化构造的测试用例发现程序内部的内存访问缺陷,如缓冲区溢出、跨界访问和指针异常等。使用符号跟踪缓冲区长度的方法,一方面减少了符号变量的数量,另一方面由此精确抽象C语言库中字符串操作函数的行为,解决了符号执行过程间函数调用的步进问题;使用动态切片的方法,裁减路径探索过程中的冗余路径,从而解决在程序内部路径搜索时发生的路径爆炸问题。实验表明,提供的检测方法不但可行,而且验证代价较小,具有较强的实用性。

关键词：静态分析符号执行程序切片约束求解

来源：评论

学校读者我要写书评

暂无评论

国密SM9数字签名和密钥封装算法的安全性分析

引用

中国科学：信息科学 2021年第11期51卷 1900-1913页

作者：赖建昌黄欣沂何德彪伍玮福建师范大学计算机与网络空间安全学院福建省网络安全与密码技术重点实验室福州350117 武汉大学网络安全学院空天信息安全与可信计算教育部重点实验室武汉430072 福建师范大学数学与统计学院福建省应用数学中心福州350117

安全性分析为密码方案的安全性提供重要依据和有力保障.我国自主设计的商用标识密码SM9已成为国家标准,其中,SM9数字签名算法和加密算法已成为ISO/IEC国际标准.然而,现有关于SM9标识密码算法安全性分析的公开发表研究成果较少.Cheng在In... 详细信息

安全性分析为密码方案的安全性提供重要依据和有力保障.我国自主设计的商用标识密码SM9已成为国家标准,其中,SM9数字签名算法和加密算法已成为ISO/IEC国际标准.然而,现有关于SM9标识密码算法安全性分析的公开发表研究成果较少.Cheng在Inscrypt 2018基于Gap-q-BCAA1假设,给出了SM9密钥交换协议、密钥封装机制和公钥加密算法的安全性证明.本文首先基于q-SDH假设和随机谕言模型,证明SM9数字签名算法具有EUF-CMIA的安全性.其次,为了消除对Gap类困难假设的依赖,采用Twin-Hash-ElGamal技术,提出基于SM9密钥封装机制的新型密钥封装机制Twin-SM9.与SM9密钥封装机制相比,Twin-SM9的系统公钥和用户私钥分别增加了一个群元素,而封装密文长度保持不变.在随机谕言模型中证明,若q-BDHI假设成立,则Twin-SM9密钥封装机制满足IND-CCA.然后进一步阐明了SM9标识密码的安全性,研究结果有助于基于SM9的高级密码协议和算法的设计与分析.

关键词： SM9 安全性分析数字签名密钥封装 CCA

来源：评论

学校读者我要写书评

暂无评论

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架构密码算法

来源：评论

学校读者我要写书评

暂无评论

面向自主安全可控的可信计算专题前言

引用

软件学报 2019年第8期30卷 2227-2228页

作者：张焕国贾春福林璟锵武汉大学国家网络安全学院湖北武汉430079 空天信息安全与可信计算教育部重点实验室(武汉大学) 湖北武汉430079 南开大学网络安全学院天津300071 信息安全国家重点实验室(中国科学院信息工程研究所) 北京100093

可信计算是一种旨在增强计算机系统可信性的综合性信息安全技术.其基本思想是,在计算机系统中建立一个信任根,从信任根开始到硬件平台,到操作系统,再到应用,一级度量认证一级,一级信任一级,把这种信任扩展到整个计算机系统,并采取防护措... 详细信息

可信计算是一种旨在增强计算机系统可信性的综合性信息安全技术.其基本思想是,在计算机系统中建立一个信任根,从信任根开始到硬件平台,到操作系统,再到应用,一级度量认证一级,一级信任一级,把这种信任扩展到整个计算机系统,并采取防护措施,确保计算资源的完整性和行为的预期性,从而提高计算机系统的可信性.我国在可信计算领域起步不晚,创新很多,成果可喜.可信计算的综合性说明,它应当与其他信息安全技术相结合.例如,与密码技术、访问控制、硬件安全、软件安全、网络安全、内容安全等技术相结合.实践证明,这种结合会得到很好的效果.

关键词：信息安全技术可信计算计算机系统可控信任根硬件平台操作系统计算资源

来源：评论

学校读者我要写书评

暂无评论

分布式空间数据分片与跨边界拓扑连接优化方法

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

弹性移动云计算的研究进展与安全性分析

引用

计算机研究与发展 2015年第6期52卷 1362-1377页

作者：李鹏伟傅建明李拴保吕少卿沙乐天武汉大学计算机学院武汉430072 空天信息安全与可信计算教育部重点实验室(武汉大学) 武汉430072 软件工程国家重点实验室(武汉大学) 武汉430072 综合业务网理论及关键技术国家重点实验室(西安电子科技大学) 西安710071 南京邮电大学计算机学院南京210046

弹性移动云计算(elastic mobile cloud computing,EMCC)中,移动设备按照实时需求将部分任务迁移到云端执行,无缝透明的利用云资源增强自身功能.将现有EMCC方案分为雇佣云端完成部分计算密集任务的计算迁移型移动云计算(computing migrat... 详细信息

弹性移动云计算(elastic mobile cloud computing,EMCC)中,移动设备按照实时需求将部分任务迁移到云端执行,无缝透明的利用云资源增强自身功能.将现有EMCC方案分为雇佣云端完成部分计算密集任务的计算迁移型移动云计算(computing migration-mobile cloud computing,CM-MCC)和通过云端的虚拟移动设备来辅助或代替移动设备完成多种任务的云端代理型移动云计算(cloud agentmobile cloud computing,CA-MCC)两类,分别对CM-MCC,CA-MCC的适用场景、实现流程、关键技术、存在问题及相应解决方法进行研究并指出其发展方向.对EMCC所面临的主要安全威胁,包括用户的错误操作或恶意行为、恶意代码、通信安全以及虚拟系统漏洞、多租户、不安全资源等云安全问题进行分析并研究相应防御方法,指出安全问题将是EMCC研究的重点和难点.

关键词：移动云计算计算迁移云端代理虚拟移动设备安全威胁

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

面向第三方的云平台可信性在线评测及分析技术

引用

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

作者：赵波李想严飞张立强张焕国武汉大学国家网络安全学院空天信息安全与可信计算教育部重点实验室湖北武汉430072 湖北省网络空间安全研究中心湖北武汉430072 鹏城实验室网络空间安全研究中心广东深圳518000

云计算的服务模式对用户数据安全产生的严重威胁,必须通过第三方对云计算是否可信进行评测,才能保障云计算产业的健康发展。由此,总结了国家高技术研究发展计划课题“面向第三方的云平台可信性在线评测及分析技术”的研究内容与成果,描... 详细信息

云计算的服务模式对用户数据安全产生的严重威胁,必须通过第三方对云计算是否可信进行评测,才能保障云计算产业的健康发展。由此,总结了国家高技术研究发展计划课题“面向第三方的云平台可信性在线评测及分析技术”的研究内容与成果,描述了从云平台可信评测模型与体系结构、可信性动态评测技术、可信证据收集及可信测试机制、可信性的多维量化评估方法、评测原型系统与工具集5个方面的研究工作,并对云平台的可信性进行评测。

关键词：云平台可信计算评测模型第三方

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

移动端Web浏览器HTTP流量注入的监控与屏蔽

引用

武汉大学学报（理学版） 2017年第5期63卷 385-396页

作者：谢梦非傅建明王应军彭国军武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学软件工程国家重点实验室湖北武汉430072

提出一种在服务器部署前端脚本程序的监控方案,对移动端HTTP流量注入行为进行监控.基于监控数据,对注入内容、注入主体进行分析.分析结果显示,超过4%的移动端Web客户端会话在传输过程中被篡改,这样的篡改包括注入普通广告、注入恶意广... 详细信息

提出一种在服务器部署前端脚本程序的监控方案,对移动端HTTP流量注入行为进行监控.基于监控数据,对注入内容、注入主体进行分析.分析结果显示,超过4%的移动端Web客户端会话在传输过程中被篡改,这样的篡改包括注入普通广告、注入恶意广告、网络运营商增值服务、恶意代码、虚假访问代码、页面重定向等,注入主体和网络运营商、地域、网络环境有关.基于此,提出了4项针对这些注入的屏蔽方案,包括在服务器部署HTTPS、CSP、部署检测脚本与HTTPS以及在客户端部署访问限制程序等方案,并对这些方案进行测试.测试结果表明,在服务器部署CSP的方案成本低且准确率较高;针对高性能客户端,在客户端部署访问限制程序的方案能有效屏蔽流量注入.

关键词：网络安全 HTTP流量注入页面篡改页面变化检测

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：