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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

可信云计算研究综述

引用

郑州大学学报（理学版） 2022年第4期54卷 1-11页

作者：张立强吕建荣严飞熊云飞武汉大学国家网络安全学院空天信息安全与可信计算教育部重点实验室湖北武汉430072 烽火技术服务有限公司湖北武汉430074

云计算具有高性能、服务化、弹性伸缩、环境友好等优点,已经成为广泛采用的新型IT基础设施。资源外包与资源租赁的服务化本质,导致安全与隐私需求尤为突出,传统安全技术方案无法有效满足云计算的安全需求。为此,近年来学术界和工业界实... 详细信息

云计算具有高性能、服务化、弹性伸缩、环境友好等优点,已经成为广泛采用的新型IT基础设施。资源外包与资源租赁的服务化本质,导致安全与隐私需求尤为突出,传统安全技术方案无法有效满足云计算的安全需求。为此,近年来学术界和工业界实现了一系列的安全改进和创新,试图用自底向上的思路解决云计算中的各类安全问题,构建可信云体系架构,以期实现云计算的安全可信。本文围绕云计算环境面临的安全威胁展开讨论,给出了当前主流的可信云计算实现思路与关键技术,讨论了相关工作的优势与不足,并对可信云计算的发展方向进行了探讨。

关键词：云计算可信计算安全威胁可信云计算

来源：评论

学校读者我要写书评

暂无评论

中本聪共识安全性质研究方法

引用

中国科学：信息科学 2022年第5期52卷 837-855页

作者：周子钰张宗洋刘建伟北京航空航天大学网络空间安全学院北京100091 武汉大学空天信息安全与可信计算教育部重点实验室武汉430072

中本聪共识是区块链共识机制中最基础和研究最广泛的一种共识机制,其安全性对整个区块链领域的发展具有重要的理论意义和应用价值.现有大量研究在各种模型假设下对中本聪共识进行了安全性分析和证明.本文首先详细描述了中本聪共识的执... 详细信息

中本聪共识是区块链共识机制中最基础和研究最广泛的一种共识机制,其安全性对整个区块链领域的发展具有重要的理论意义和应用价值.现有大量研究在各种模型假设下对中本聪共识进行了安全性分析和证明.本文首先详细描述了中本聪共识的执行模型,包括时间模型、网络模型、敌手模型等.其次,系统总结了中本聪共识安全性的形式化定义.再次,根据时间模型将中本聪共识研究方法分为基于离散时间模型和连续时间模型两类,并指出不同方法的优缺点.最后对中本聪共识的安全性研究进行展望,旨在为区块链共识机制的研究提供技术支撑.

关键词：中本聪共识区块链安全性证明数字货币工作量证明

来源：评论

学校读者我要写书评

暂无评论

基于子带谐波一致性的语音转换反取证框架研究

引用

小型微型计算机系统 2024年第8期45卷 1960-1965页

作者：甘子健叶登攀张健武汉大学国家网络安全学院空天信息安全与可信计算教育部重点实验室武汉430072 中南大学计算机学院湖南省金融货币识别与自助服务平台工程技术研究中心长沙410083

语音转换任务指的是在保持语言内容不变的情况下,将一个说话者的声音身份转换为另一个说话者.然而现有工作很少考虑针对音频取证机器分类模型进行抗检测研究,转换音频极容易被取证模型所识别.本文提出了一种具有3个子带频谱鉴别器设计... 详细信息

语音转换任务指的是在保持语言内容不变的情况下,将一个说话者的声音身份转换为另一个说话者.然而现有工作很少考虑针对音频取证机器分类模型进行抗检测研究,转换音频极容易被取证模型所识别.本文提出了一种具有3个子带频谱鉴别器设计的语音转换反取证框架HADV-GAN,其合成音频在具有高保真度的前提下,对语音欺骗取证模型具有反取证能力.此外,HADV-GAN无需训练额外的声码器,可以直接以原始音频波形作为输入,并以声学特征重建语音,因此可以避免使用声码器所导致的特征不匹配问题.实验结果表明,本文所提出的方法在3种主流的语音欺骗取证模型LFCC-GMM、MCG-Res2Net以及AASIST上,对比基线模型NVC-Net,在合成音频质量相当的条件下,拥有更好的反取证能力.

关键词：语音转换语音欺骗取证子带频谱音频反取证

来源：评论

学校读者我要写书评

暂无评论

基于音脸协同对比学习的深度伪造检测算法

引用

武汉大学学报(理学版) 2025年第2期 173-186页

作者：李志鲲叶登攀空天信息安全与可信计算教育部重点实验室武汉大学国家网络安全学院

主流的伪造检测方法从视觉单模态出发，通过检测视频帧中的伪影进行伪造检测，然而不同伪造方法会引入不同的伪影，导致这类方法有受限的性能和较差的泛化能力。同时，当前利用音频信息进行伪造检测的工作并没有充分利用音频信息发掘视... 详细信息

主流的伪造检测方法从视觉单模态出发，通过检测视频帧中的伪影进行伪造检测，然而不同伪造方法会引入不同的伪影，导致这类方法有受限的性能和较差的泛化能力。同时，当前利用音频信息进行伪造检测的工作并没有充分利用音频信息发掘视觉模态的篡改。观察到自然视频中的音频和人脸具有内在协同性，而伪造方法均会对这种特性造成破坏，因此本文提出了一种音脸协同驱动的深度伪造检测算法，称为SFSD(Speech-Face Synergy Detect)。该算法提出了音脸协同对比学习策略，在通用视频数据集上构建样本，模拟伪造方法对音脸协同性的破坏，实现了对大量无标注真实视频的利用，提升了模型性能和泛化能力。算法构建了多模态模型SFformer(Speech-Face Transformer)，其通过注意力瓶颈引导音脸模态浓缩并交融必要的信息，减少冗余信息的干扰，提升了模型的特征提取能力并改进了检测性能。在公开数据集FakeAVCeleb上的大量实验表明，SFSD在预训练后准确率为72.12%，超越部分基准方法；在经过迁移训练后准确率达到89.51%，高于先前工作，并且泛化能力有所提升。

关键词：伪造检测对比学习多模态融合

来源：评论

学校读者我要写书评

暂无评论

基于解析树的Java Web灰盒模糊测试

引用

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

作者：王鹃张志杰杨鸿远武汉大学国家网络安全学院武汉 430072 空天信息安全与可信计算教育部重点实验室武汉430072

由于Java Web应用业务场景复杂,且对输入数据的结构有效性要求较高,现有的测试方法和工具在测试Java Web时存在测试用例的有效率较低的问题.为了解决上述问题,本文提出了基于解析树的Java Web应用灰盒模糊测试方法.首先为Java Web应用... 详细信息

由于Java Web应用业务场景复杂,且对输入数据的结构有效性要求较高,现有的测试方法和工具在测试Java Web时存在测试用例的有效率较低的问题.为了解决上述问题,本文提出了基于解析树的Java Web应用灰盒模糊测试方法.首先为Java Web应用程序的输入数据包进行语法建模创建解析树,区分分隔符和数据块,并为解析树中每一个叶子结点挂接一个种子池,隔离测试用例的单个数据块,通过数据包拼接生成符合Java Web应用业务格式的输入,从而提高测试用例的有效率;为了保留高质量的数据块,在测试期间根据测试程序的执行反馈信息,为每个数据块种子单独赋予权值;为了突破深度路径,会在相应种子池中基于条件概率学习提取数据块种子特征.本文实现了基于解析树的Java Web应用灰盒模糊测试系统PTreeFuzz,测试结果表明,该系统相较于现有工具取得了更好的测试准确率.

关键词：漏洞挖掘模糊测试 Java Web 解析树

来源：评论

学校读者我要写书评

暂无评论

一种高效且可监管的隐私交易方案

引用

武汉大学学报（理学版） 2023年第1期69卷 39-50页

作者：杨敏徐长通夏喆王丽孟庆树† 空天信息安全与可信计算教育部重点实验室武汉大学国家网络安全学院湖北武汉430072 武汉理工大学计算机学院湖北武汉430070 武汉天喻信息产业股份有限公司湖北武汉430223

隐私保护是区块链研究的热点问题,大量区块链项目的交易信息以明文的形式储存在链上,泄露了相关的交易信息,不能保障用户的隐私,也阻碍了区块链技术在金融等实际应用中的落地。因此如何有效地保护交易的隐私性引起了广泛研究。在分析Pai... 详细信息

隐私保护是区块链研究的热点问题,大量区块链项目的交易信息以明文的形式储存在链上,泄露了相关的交易信息,不能保障用户的隐私,也阻碍了区块链技术在金融等实际应用中的落地。因此如何有效地保护交易的隐私性引起了广泛研究。在分析Paillier算法解密原理的基础上,结合Paillier加密算法与ElGamal加密算法提出了同态加密算法PailGamal,该算法既支持密文直接解密,又支持监管方对所有密文进行监管。结合该PailGamal算法与范围证明方案Bulletproofs设计了一种可监管且高效的隐私交易方案。该交易方案使用PailGamal算法对交易金额进行加密,除了监管方和交易双方外,其他任何人无法知晓交易金额,而且利用范围证明技术在提供隐私保护的同时保证了数据的可用性和合法性;监管方既可以监管每一笔交易的金额,也可以监管一段时间的金额,既达到监管目的,又有效保护用户隐私。由于交易接收方可以直接解密任意交易金额,该方案从博弈论的角度将密文合法性检查放到链下进行,减少了交易的链上数据量。

关键词：区块链隐私交易可监管零知识证明同态加密

来源：评论

学校读者我要写书评

暂无评论

Kernel-Shapelets:基于卷积网络的特征子序列学习方法

引用

软件导刊 2023年第4期22卷 8-14页

作者：冯冠玺马超石小川张典武汉大学国家网络安全学院空天信息安全与可信计算教育部重点实验室湖北武汉430072

在时序分类领域中,基于特征子序列的方法因能给出个体分类的局部依据,从而具有较强的可解释性,但计算十分耗时,且分类表现相较于深度学习方法并不占优。深度学习方法虽在分类表现上优于其他方法,但缺乏可解释性。为了提高基于特征子序... 详细信息

在时序分类领域中,基于特征子序列的方法因能给出个体分类的局部依据,从而具有较强的可解释性,但计算十分耗时,且分类表现相较于深度学习方法并不占优。深度学习方法虽在分类表现上优于其他方法,但缺乏可解释性。为了提高基于特征子序列方法的分类表现,增强深度学习方法的可解释性,提出基于CNN网络提取特征子序列的方法Kernel-Shapelets。该方法通过提取CNN的卷积核对应权重并作进一步筛选,从而提取出特征子序列,利用全局最大池化层的输出找出CNN网络的判断依据,从而提高模型的可解释性。通过在UCR时序数据集上进行实验,Kernel-Shapelets方法的平均分类准确率为82%,相比基于特征子序列的最优基准模型提高了15.4%,证明了Kernel-Shapelets能够利用CNN网络的学习能力提取出更有效、更具有辨识性的特征子序列,提取出的特征子序列也提高了CNN网络的可解释性。

关键词：时序数据挖掘时序数据分类深度学习卷积神经网络特征子序列

来源：评论

学校读者我要写书评

暂无评论

CMBA:基于复杂映射的神经网络后门攻击

引用

武汉大学学报（理学版） 2024年第4期70卷 421-430页

作者：李学何琨陈晶杜瑞颖空天信息安全与可信计算教育部重点实验室武汉大学网络空间安全学院湖北武汉430072 武汉大学日照信息技术研究院山东日照276800 地球空间信息技术协同创新中心湖北武汉430079

现有的大多数后门攻击研究仅考虑了all-to-one等简单的后门映射策略,忽视了现实攻击场景中对其他更加复杂的映射策略的需求,限制了后门攻击的灵活性。针对这一问题,提出了映射策略可调的后门攻击框架,并在此框架下实现了一类基于复杂映... 详细信息

现有的大多数后门攻击研究仅考虑了all-to-one等简单的后门映射策略,忽视了现实攻击场景中对其他更加复杂的映射策略的需求,限制了后门攻击的灵活性。针对这一问题,提出了映射策略可调的后门攻击框架,并在此框架下实现了一类基于复杂映射的后门攻击CMBA。引入了逃逸类别和多目标类别的设置,使CMBA攻击不仅能够精准地控制后门攻击的影响范围,还可以在不同原始类别和多个目标类别之间建立复杂的对应关系,提升了攻击的灵活性。实验结果表明,CMBA攻击在3个数据集上都展示了良好的攻击效果。此外,通过引入更多逃逸类别和目标类别,CMBA攻击获得了更好的隐蔽性能,能够成功绕过目前的一些主流后门防御的检测。

关键词：人工智能深度学习后门攻击映射策略

来源：评论

学校读者我要写书评

暂无评论

可支持公平验证的数据群组灵活协同共享方案

引用

网络与信息安全学报 2025年第1期11卷 40-53页

作者：王树兰甘竞宏赵陈斌邹家须赵国英张应辉深圳技术大学大数据与互联网学院广东深圳518118 深圳大学应用技术学院广东深圳518060 空天信息安全与可信计算教育部重点实验室武汉大学国家网络安全学院湖北武汉430072 西安邮电大学网络空间安全学院陕西西安710121

随着云服务的快速发展,数据的共享和传播受到了广泛关注。基于属性的条件代理重加密(attribute-based conditional proxy re-encryption,AB-CPRE)能安全且高效地实现数据群组共享和传播而被广泛应用。然而,现有的AB-CPRE方案无法实现同... 详细信息

随着云服务的快速发展,数据的共享和传播受到了广泛关注。基于属性的条件代理重加密(attribute-based conditional proxy re-encryption,AB-CPRE)能安全且高效地实现数据群组共享和传播而被广泛应用。然而,现有的AB-CPRE方案无法实现同一组内多个数据传播者协同将数据传播给新的用户组,仅支持单一数据传播者,灵活性差。此外,现有方案中用户生成验证值所需的计算开销随着密文中属性数增加而增加,导致云服务器和用户之间的公平验证效率低。针对上述不足,提出一种可支持公平验证的数据群组灵活协同共享方案。该方案构造了一种协同传播树结构,以实现同一组内多个数据传播者协同将数据传播给新用户组。此外,该方案设计了计算开销恒定的验证值生成机制,使用户仅需常数级计算开销即可生成验证值,从而高效实现云服务器和用户间的公平可验证。最后,形式化安全性证明和性能评估表明,所提方案是可证明安全和公平可验证的,并在验证值生成、重加密密钥生成和解密阶段比现有方案高效。

关键词：协同数据传播基于属性的条件代理重加密协同传播树公平可验证

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：