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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于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 自动化验证

来源：评论

学校读者我要写书评

暂无评论

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倍。

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

来源：评论

学校读者我要写书评

暂无评论

基于隐私保护的实时电价计费方案

引用

计算机应用研究 2019年第6期36卷 1788-1792页

作者：何薇赵波刘育博武汉大学计算机学院武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉430072 武汉大学国家网络安全学院武汉430072 国网辽宁省电力有限公司信息通信分公司沈阳110006

针对智能电网基于实时电价的计费过程中有大量实时用电数据需要交互和计算,且隐私数据保护不够完善的安全问题,提出了一种基于隐私保护的实时电价计费方案。利用加法同态加密、混合乘法同态加密等技术,保证了实时用电数据在通信、数据... 详细信息

针对智能电网基于实时电价的计费过程中有大量实时用电数据需要交互和计算,且隐私数据保护不够完善的安全问题,提出了一种基于隐私保护的实时电价计费方案。利用加法同态加密、混合乘法同态加密等技术,保证了实时用电数据在通信、数据聚合、电费计算和账单验证过程中的安全;同时,通过聚合签名技术减少了数据认证过程中的开销。通过对所述方案进行安全性分析和性能分析,表明该方案具有很好的安全性,且性能较高。

关键词：智能电网实时电价同态加密隐私保护

来源：评论

学校读者我要写书评

暂无评论

基于分布式可信度量的移动代理安全应用模型研究

引用

计算机工程与科学 2010年第6期32卷 19-21,98页

作者：武小平邢宏根沈志东武汉大学计算机学院空天信息安全与可信计算教育部重点实验室湖北武汉430072 湖北大学知行学院湖北武汉430011 武汉大学国际软件学院软件工程国家重点实验室湖北武汉430079

本文主要讨论了可信计算平台上的移动代理安全方案。利用可信计算平台提供的可信度量策略与信任链机制,构建基于可信度量的移动代理安全体系结构。进一步地,在此类平台所构成的移动代理分布式计算环境中,建立了移动代理平台间基于可信... 详细信息

本文主要讨论了可信计算平台上的移动代理安全方案。利用可信计算平台提供的可信度量策略与信任链机制,构建基于可信度量的移动代理安全体系结构。进一步地,在此类平台所构成的移动代理分布式计算环境中,建立了移动代理平台间基于可信度量的信任关系数学模型,并进行了数值模拟与测试验证。

关键词：可信度量移动代理信任模型

来源：评论

学校读者我要写书评

暂无评论

基于变色龙哈希区块树的可撤销证书管理机制

引用

计算机应用与软件 2024年第12期41卷 367-375页

作者：余发江徐庆卢岩董之微空天信息安全与可信计算教育部重点实验室武汉大学国家网络安全学院湖北武汉430040 国网辽宁省电力有限公司电力科学研究院辽宁沈阳110006

为了解决单一证书授权中心(Certificate Authority,CA)存在的风险并实现高效证书撤销与查询,提出一种区块树可撤销证书管理机制。该机制使用变色龙哈希函数,仅用一棵树结构就实现了证书的加入和撤销,同时区块树是平衡搜索树,实现证书的... 详细信息

为了解决单一证书授权中心(Certificate Authority,CA)存在的风险并实现高效证书撤销与查询,提出一种区块树可撤销证书管理机制。该机制使用变色龙哈希函数,仅用一棵树结构就实现了证书的加入和撤销,同时区块树是平衡搜索树,实现证书的高效验证与查询。对该机制进行系统建模和安全证明,并进行原型验证。实验和分析表明,该机制空间占用较少,证书的查询、加入和撤销均为对数时间复杂度,同时其分布式特性有效解决了中心化机构存在的风险问题。

关键词：证书管理变色龙哈希区块树可撤销

来源：评论

学校读者我要写书评

暂无评论

一种基于深度学习的恶意软件家族分类模型

引用

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

作者：郑锐汪秋云傅建明姜政伟苏日古嘎汪姝玮空天信息安全与可信计算教育部重点实验室武汉大学国家网络安全学院中国武汉430072 中国科学院信息工程研究所中国北京100093 中国科学院大学网络空间安全学院中国北京100049

恶意软件的家族分类问题是网络安全研究中的重要课题,恶意软件的动态执行特征能够准确的反映恶意软件的功能性与家族属性。本文通过研究恶意软件调用Windows API的行为特点,发现恶意软件的恶意行为与序列前后向API调用具有一定的依赖关... 详细信息

恶意软件的家族分类问题是网络安全研究中的重要课题,恶意软件的动态执行特征能够准确的反映恶意软件的功能性与家族属性。本文通过研究恶意软件调用Windows API的行为特点,发现恶意软件的恶意行为与序列前后向API调用具有一定的依赖关系,而双向LSTM模型的特征计算方式符合这样的依赖特点。通过设计基于双向LSTM的深度学习模型,对恶意软件的前后API调用概率关系进行了建模,经过实验验证,测试准确率达到了99.28%,所提出的模型组合方式对恶意软件调用系统API的行为具有良好的建模能力,为了深入的测试深度学习方法的分类性能,实验部分进一步设置了对抗样本实验,通过随机插入API序列的方式构造模拟对抗样本来测试原始参数模型的分类性能,对抗样本实验表明,深度学习方法相对某些浅层机器学习方法具有更高的稳定性。文中实验为深度学习技术向工业界普及提供了一定的参考意义。

关键词：深度学习恶意软件家族分类鲁棒性

来源：评论

学校读者我要写书评

暂无评论

食品大数据应用综述

引用

食品与生物技术学报 2020年第12期39卷 1-5页

作者：陶启李伟丁红卫崔晓晖武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学国家网络安全学院湖北武汉430072 江南大学人工智能与计算机学院江苏无锡214122 江南大学江苏省媒体设计与软件技术重点实验室江苏无锡214122

大数据技术是指从各类数据中快速获得有价值信息的能力。大数据技术方兴未艾,为食品科学提供了一种全新的思维方式和分析方法,可以提升食品科学在食品追踪溯源、食物配对、食谱推荐、食品安全、食品生产管控、用户食品偏好、未来食品分... 详细信息

大数据技术是指从各类数据中快速获得有价值信息的能力。大数据技术方兴未艾,为食品科学提供了一种全新的思维方式和分析方法,可以提升食品科学在食品追踪溯源、食物配对、食谱推荐、食品安全、食品生产管控、用户食品偏好、未来食品分析上的预测性以及准确性,然而在大数据应用系统中存在数据缺失、难以辨真伪等挑战。本文中阐述了食品大数据的应用现状,分析了其面临的挑战并讨论可行性解决方案,展望了食品大数据未来发展趋势。本文作者的目的是希望食品大数据领域研究者在本文研究基础上,继续从大数据角度为食品科学添砖加瓦,并根据未来食品发展趋势,实现食品科学提升。

关键词：食品大数据食品追踪溯源食物配对食品安全食品生产管控

来源：评论

学校读者我要写书评

暂无评论

紧凑的Aigis-sig数字签名方案软硬件协同实现方法

引用

网络与信息安全学报 2021年第2期7卷 64-76页

作者：周朕何德彪罗敏李莉空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学国家网络安全学院湖北武汉430072

基于理想格构造的Aigis-sig数字签名方案具有实现效率高、签名长度短、抗量子攻击等优势。针对Aigis-sig方案,构造了一种改进的模乘计算元件,设计了一种基于快速数论变换(NTT)算法实现环上多项式运算的紧凑硬件架构;同时以此架构为基础... 详细信息

基于理想格构造的Aigis-sig数字签名方案具有实现效率高、签名长度短、抗量子攻击等优势。针对Aigis-sig方案,构造了一种改进的模乘计算元件,设计了一种基于快速数论变换(NTT)算法实现环上多项式运算的紧凑硬件架构;同时以此架构为基础,提出了Aigis-sig数字签名方案的FPGA软硬件协同实现方法。实验表明,在Xilinx Zynq-7000 SoC平台上,CPU频率和硬件频率分别设置为666.66 MHz和150 MHz时,该实现方案相较于纯软件实现,签名阶段和验签阶段分别取得约26%和17%的性能提升。

关键词：后量子密码数字签名 Aigis-sig 现场可编程逻辑门阵列快速数论变换

来源：评论

学校读者我要写书评

暂无评论

基于网络动态全流量分析的未知威胁发现

引用

工业信息安全 2022年第6期 38-45页

作者：余荣威王永赵波赵健武汉大学国家网络安全学院湖北武汉430072 空天信息安全与可信计算教育部重点实验室湖北武汉430072

目前,全球网络安全已步入未知威胁时代,大型网络动态流量安全分析仪器是国家网络安全的基石,具有不可替代的重要性。如何快速分析、发现网络流量中对我国家安全有害的恶意网络行为,特别是未知攻击,是当下我国家网络安全亟待解决的重大... 详细信息

目前,全球网络安全已步入未知威胁时代,大型网络动态流量安全分析仪器是国家网络安全的基石,具有不可替代的重要性。如何快速分析、发现网络流量中对我国家安全有害的恶意网络行为,特别是未知攻击,是当下我国家网络安全亟待解决的重大战略需求。传统网络流量安全分析需要攻方武器完整的先验知识,然而对于未知威胁,防守方几乎不可能做到此事。于是,传统方法就此陷入一个难以逾越的技术瓶颈,需要另辟蹊径。本文通过内生安全理念,模拟免疫系统未知病毒识别机理,形成先验知识不完备条件下未知威胁的快速发现、快速追踪、以及快速表征等三大创新能力,藉此突破传统方法在未知威胁分析方面的技术瓶颈,分析具备未知威胁发现能力的网络动态流量安全分析平台的发展趋势,将从理论和实战两方面促进我国网络安全科技进步,意义重大而深远。

关键词：网络内生安全未知威胁发现动态流量分析模拟免疫系统

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：