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

中文信息学报 2021年第10期35卷 119-127页

作者：杨利君滕冲武汉大学国家网络安全学院空天信息安全与可信计算教育部重点实验室湖北武汉430040

谣言立场检测任务是通过分析社交媒体平台上用户发表的评论,判别他们对谣言所持的立场是支持、反对或其他。谣言立场检测有助于甄别谣言真假。现有的工作将社交对话数据建模为单向树结构,仅考虑了对话树的局部语义和结构信息。针对这些... 详细信息

谣言立场检测任务是通过分析社交媒体平台上用户发表的评论,判别他们对谣言所持的立场是支持、反对或其他。谣言立场检测有助于甄别谣言真假。现有的工作将社交对话数据建模为单向树结构,仅考虑了对话树的局部语义和结构信息。针对这些不足,该文提出了一种增强的双向树神经网络模型。首先,设计了一种门控机制,用于融合自底向上和自顶向下两个传播方向上的表示,从而更有效地提取对话的全局上下文信息。其次,在模型中引入了一个局部推理模块,增强了谣言与回复之间的语义联系。在RumourEval 2017 Twitter语料集上的实验证明,该文提出的模型在多分类评价指标macro-F_(1)上获得了52.5%的性能,相较于基线中最好的模型提升了1.6%,尤其在检测最具挑战性的否定立场优势的实验上更为明显。

关键词：谣言立场检测双向树神经网络深度学习

来源：评论

学校读者我要写书评

暂无评论

DNNobfus:一种基于混淆的端侧模型保护框架技术研究

引用

网络与信息安全学报 2024年第2期10卷 143-153页

作者：宋飞扬赵鑫淼严飞程斌林张立强杨小林王洋武汉大学国家网络安全学院空天信息安全与可信计算教育部重点实验室湖北武汉430072 山东大学网络空间安全学院山东青岛266237 浪潮智慧科技有限公司山东济南250101 山东浪潮科学研究院有限公司山东济南250101

人工智能模型自广泛使用以来,面临诸多安全风险。随着深度学习模型大规模在端侧设备上的部署,端侧模型面临新的安全挑战。由于深度神经网络具有相似的结构特征,攻击者得以运用反编译技术以获取模型的结构信息及其参数,从而重建模型。此... 详细信息

人工智能模型自广泛使用以来,面临诸多安全风险。随着深度学习模型大规模在端侧设备上的部署,端侧模型面临新的安全挑战。由于深度神经网络具有相似的结构特征,攻击者得以运用反编译技术以获取模型的结构信息及其参数,从而重建模型。此过程会损害模型的知识产权并使模型面临白盒攻击的风险。针对模型反编译器对模型算子的定位与识别、参数获取、网络拓扑解析过程,提出了一种基于模型编译过程的混淆框架以防御模型提取攻击;在深度学习编译器的前端优化过程中设计并实现了算子混淆、参数混淆和网络拓扑混淆3种混淆手段;采用构造不透明谓词,插入虚假控制流,添加冗余内存访问等手段,干扰模型反编译器对模型的逆向工程。实验结果表明,提出的混淆框架DNNobfus能有效降低前沿的模型反编译工具对模型算子类型及网络连接识别的准确率,分别下降至21.63%和48.24%。此外,该框架平均时间效率为67.93%,平均空间效率为88.37%,均优于混淆工具Obfuscator-LLVM。

关键词：人工智能安全代码混淆逆向工程模型保护

来源：评论

学校读者我要写书评

暂无评论

面向迁移学习中特征向量差异性的成员推理攻击

引用

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

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

在以图像分类为目标任务的迁移学习场景下,针对攻击者能力和需求对应模型不一致的情况下攻击准确率较低的问题,提出面向特征向量差异性的成员推理攻击方案,构建阴影模型获取不同层次的特征向量,采用欧氏距离对不同特征向量之间的距离进... 详细信息

在以图像分类为目标任务的迁移学习场景下,针对攻击者能力和需求对应模型不一致的情况下攻击准确率较低的问题,提出面向特征向量差异性的成员推理攻击方案,构建阴影模型获取不同层次的特征向量,采用欧氏距离对不同特征向量之间的距离进行计算,提出阈值比较步骤对欧氏距离细化分类,并设计阈值选择策略。实验结果表明:在不访问教师模型的情况下,对教师模型实施成员推理攻击,所提攻击方案仍能实现较好的攻击性能。本文方案在Cats vs Dogs、Flowers102和CIFAR-100数据集上成员推理攻击准确率分别达到0.728、0.632和0.581,揭示了迁移学习场景下成员推理攻击的有效性。随着学生模型训练时冻结层数的增加,本文方案在Cats vs Dogs数据集上的攻击性能得到提升。

关键词：机器学习成员推理攻击迁移学习

来源：评论

学校读者我要写书评

暂无评论

PVOP:隐私保护和可验证的深度神经网络预测外包

引用

武汉大学学报（理学版） 2023年第6期69卷 699-708页

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

外包的预测范式引起了各种安全问题,为了解决客户端和模型提供者的隐私问题以及云服务器缺乏可验证性的问题,提出了一个为深度神经网络预测外包提供隐私保护和可验证性的双服务器框架PVOP。在sum-ch基于加性秘密共享和D-A乘法协议的变... 详细信息

外包的预测范式引起了各种安全问题,为了解决客户端和模型提供者的隐私问题以及云服务器缺乏可验证性的问题,提出了一个为深度神经网络预测外包提供隐私保护和可验证性的双服务器框架PVOP。在sum-ch基于加性秘密共享和D-A乘法协议的变体为深度神经网络预测外包提供隐私保护。由于本文采用不共谋的双服务器系统模型,所以可以利用加性秘密共享技术实现客户端和模型提供者的隐私保护。基于D-A乘法协议的变体实现加性共享份额的相乘。将新设计的交互式证明协议与D-A乘法协议的变体相结合,为深度神经网络模型设计了新的安全协议,在预测外包范式中实现了隐私保护和可验证性。在MNIST和CIFAR-10数据集上的实验验证了本文提出的方案。实验结果表明,大多数最先进的隐私保护类解决方案的时间开销是PVOP的1.6至247.0倍,通信开销是PVOP的1.3至27.7倍。

关键词：隐私保护可验证性预测外包深度神经网络

来源：评论

学校读者我要写书评

暂无评论

基于Tamarin Prover的5G EAP-TLS协议的形式化分析

引用

武汉大学学报（理学版） 2023年第5期69卷 653-664页

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

为了保证5G专用网络中移动设备的通信安全,第三代合作伙伴计划(3rd generation partnership project,3GPP)提出了5G可扩展认证协议-传输层安全(extensible authentication protocol-transport layer security,EAP-TLS)。然而,现有的针对于5G EAP-TLS协议的研究工作较少且缺乏系统性。因此,对5G EAP-TLS协议进行详细的描述,并对该协议进行全面的形式化建模。对5G规范中涉及的所有协议实体以及证书分发机制进行建模,同时从5G规约中提取并建模了与5G EAPTLS协议相关的安全目标。提出证据搜索策略引导符号分析工具Tamarin Prover进行自动化证据搜索,解决了Tamarin Prover在验证复杂模型时验证过程无法终止的问题,实现了5G EAP-TLS安全目标的自动化验证。通过分析验证结果,发现了5G EAP-TLS协议能够满足机密性目标,但难以满足一些认证性目标,同时,揭示了协议存在拒绝服务(denial of service,DoS)攻击和用户通信数据泄露的隐患。针对发现的问题,提出了相应的补丁方案,并通过提出的证据搜索策略引导分析工具Tamarin Prover自动化验证了该补丁方案的有效性。

关键词： 5G专用网络 EAP-TLS协议形式化分析 Tamarin Prover 自动化验证

来源：评论

学校读者我要写书评

暂无评论

基于跨设备信任链的无人机系统可信启动方案

引用

计算机与数字工程 2024年第7期52卷 2101-2107页

作者：蹇奇芮陈泽茂武晓康武汉大学国家网络安全学院空天信息安全与可信计算教育部重点实验室武汉430072 海军工程大学电气工程学院武汉430034

为了保护无人机系统软件的秘密性和完整性,提出了一种基于跨设备信任链的无人机系统可信启动方案。该方案针对无人机和地面站设备的运行环境特点,将无人机设备的可信根分离为秘密性保护和完整性保护两部分,分别存放到无人机和地面站设备... 详细信息

为了保护无人机系统软件的秘密性和完整性,提出了一种基于跨设备信任链的无人机系统可信启动方案。该方案针对无人机和地面站设备的运行环境特点,将无人机设备的可信根分离为秘密性保护和完整性保护两部分,分别存放到无人机和地面站设备中,通过启动时两设备交互校验完成跨设备可信启动,保证系统安全性;通过对系统软件进行多重签名,避免开发商或者用户单方面篡改系统。实验结果表明,该方案能够满足无人机系统软件秘密性和完整性保护需求。

关键词：无人机系统可信计算信任链系统安全软件保护

来源：评论

学校读者我要写书评

暂无评论

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

引用

网络与信息安全学报 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方案无法实现同一组内多个数据传播者协同将数据传播给新的用户组,仅支持单一数据传播者,灵活性差。此外,现有方案中用户生成验证值所需的计算开销随着密文中属性数增加而增加,导致云服务器和用户之间的公平验证效率低。针对上述不足,提出一种可支持公平验证的数据群组灵活协同共享方案。该方案构造了一种协同传播树结构,以实现同一组内多个数据传播者协同将数据传播给新用户组。此外,该方案设计了计算开销恒定的验证值生成机制,使用户仅需常数级计算开销即可生成验证值,从而高效实现云服务器和用户间的公平可验证。最后,形式化安全性证明和性能评估表明,所提方案是可证明安全和公平可验证的,并在验证值生成、重加密密钥生成和解密阶段比现有方案高效。

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

来源：评论

学校读者我要写书评

暂无评论

智能家居攻击与防御方法综述

引用

信息安全学报 2021年第4期6卷 1-27页

作者：严寒彭国军罗元刘思德武汉大学空天信息安全与可信计算教育部重点实验室武汉430072 武汉大学国家网络安全学院武汉430072

智能家居是物联网的一大发展方向,但其在安全方面表现得不如人意,近年来频频爆发网络安全事件。智能家居相较于传统的嵌入式设备,引入了移动应用程序和云平台服务,使得其暴露出了更多的攻击面。本文围绕智能家居终端设备、云平台、移动... 详细信息

智能家居是物联网的一大发展方向,但其在安全方面表现得不如人意,近年来频频爆发网络安全事件。智能家居相较于传统的嵌入式设备,引入了移动应用程序和云平台服务,使得其暴露出了更多的攻击面。本文围绕智能家居终端设备、云平台、移动应用程序及通信等四个方面,综述针对智能家居的攻击方法和防御措施,并针对性的梳理了目前学术界及工业界关注的研究热点与难点。最后,本文针对现有智能家居设备自动化漏洞挖掘技术与防御监控能力的不足进行了讨论,并提出了基于Docker集群部署的端侧自动化威胁模型系统设计思路。

关键词：物联网智能家居攻击防御漏洞

来源：评论

学校读者我要写书评

暂无评论

基于噪声感知残差网络的JPEG隐写分析方法

引用

计算机应用研究 2021年第10期38卷 3148-3152,3165页

作者：李德维任魏翔王丽娜方灿铭吴畑武汉大学国家网络安全学院空天信息安全与可信计算教育部重点实验室武汉430072

为了进一步挖掘自适应JPEG隐写图像中隐写噪声信号特征,提出基于噪声感知残差网络的JPEG隐写分析方法。该方法由噪声感知、噪声分析和判断三部分组成。其中,噪声感知部分提取图像噪声,利用图像去噪网络,更加全面地捕获隐写引入的扰动;... 详细信息

为了进一步挖掘自适应JPEG隐写图像中隐写噪声信号特征,提出基于噪声感知残差网络的JPEG隐写分析方法。该方法由噪声感知、噪声分析和判断三部分组成。其中,噪声感知部分提取图像噪声,利用图像去噪网络,更加全面地捕获隐写引入的扰动;噪声分析部分获得噪声信息的统计特征;判断部分确定图像是否携带隐写信息。此外,网络中的残差连接有效融合多尺度特征,并防止训练中出现梯度消失和爆炸。多种条件下的对比实验结果表明,该方法相较于对比算法,能够提升针对JPEG自适应隐写的检测性能并具有更好的泛化能力。

关键词： JPEG隐写分析深度学习噪声感知残差网络 JPEG自适应隐写

来源：评论

学校读者我要写书评

暂无评论

智能变电站通信业务优先级及其队列调度方法

引用

通信学报 2021年第7期42卷 25-40页

作者：李俊娥陆秋余刘剑袁凯田薇彭弼君空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学国家网络安全学院湖北武汉430072 武汉大学电气与自动化学院湖北武汉430072

电网的发展对智能变电站提出了全站一网的要求。为满足多种通信业务的不同服务质量(QoS)需求,并保证网络拥塞时关键业务的实时性与可靠性,提出了一种智能变电站业务优先级及其队列调度方法。综合考虑业务时延要求、业务对电网运行控制... 详细信息

电网的发展对智能变电站提出了全站一网的要求。为满足多种通信业务的不同服务质量(QoS)需求,并保证网络拥塞时关键业务的实时性与可靠性,提出了一种智能变电站业务优先级及其队列调度方法。综合考虑业务时延要求、业务对电网运行控制的重要度和业务流量大小3种因素,对站内通信业务进行了优先级划分;针对新的业务优先级,结合严格优先级队列(SPQ)算法和赤字加权轮询(DWRR)算法的优点,设计了分层级赤字加权轮询(HDWRR)队列调度算法。仿真结果表明,所提方法对恶意流量具有较好的隔离能力,在网络拥塞时仍能保证智能变电站关键业务的实时可靠传输。

关键词：智能变电站业务优先级队列调度服务质量

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：