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

中国密码学会2017年会

作者：吴福生张焕国武汉大学计算机学院武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉430072

密码分析模型一直以来都是信息安全研究的重点之一,特别是分析密码协议代码实现的安全模型值得关注.针对密码协议代码实现的安全分析,本文提一种基于字典序列模型的密码协议代码实现安全分析方法.这种方法是在密码协议代码实现时,通过... 详细信息

密码分析模型一直以来都是信息安全研究的重点之一,特别是分析密码协议代码实现的安全模型值得关注.针对密码协议代码实现的安全分析,本文提一种基于字典序列模型的密码协议代码实现安全分析方法.这种方法是在密码协议代码实现时,通过函数返回值序列的变化来分析协议实现是否安全.基于新模型的安全分析方法,给出经典密码协议实现的实例,实验结果表明新模型方法相比以前的模型分析方法有优点.新模型方法的提出为密码协议实现的设计、评估和测试提供帮助.

关键词：密码协议代码实现安全分析字典序列模型

来源：评论

学校读者我要写书评

暂无评论

基于密文检索的位置服务用户隐私保护方案

基于密文检索的位置服务用户隐私保护方案

引用

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

作者：刘树波李艳敏刘梦君武汉大学空天信息安全与可信计算教育部重点实验室武汉430072 武汉大学计算机学院武汉430072

在基于位置服务系统中,为用户提供高质量服务的同时如何很好地保护用户的隐私(身份、行踪以及偏好等)仍然是一个挑战.针对这一挑战,提出了基于密文检索的位置服务用户隐私保护方案.在本方案中,位置服务提供商将其服务数据以及数据向量... 详细信息

在基于位置服务系统中,为用户提供高质量服务的同时如何很好地保护用户的隐私(身份、行踪以及偏好等)仍然是一个挑战.针对这一挑战,提出了基于密文检索的位置服务用户隐私保护方案.在本方案中,位置服务提供商将其服务数据以及数据向量索引以密文的形式外包给云端,移动用户通过密文查询请求向云端查询所需服务,云端通过用户的查询以及服务数据索引计算出匹配度高的服务数据并返回给用户,整个交互过程都是以密文形式进行,云端以及外界得不到任何明文信息.本方案不依赖集中匿名器和用户协作,最后通过理论以及实验分析表明,本方案以低的计算开销有效地保护了用户的身份、位置以及查询偏好隐私.

关键词：位置服务系统隐私保护密文检索匹配度分析

来源：评论

学校读者我要写书评

暂无评论

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

引用

武汉大学学报（理学版） 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 自动化验证

来源：评论

学校读者我要写书评

暂无评论

一种改进的H.264视频防失真漂移隐写算法

一种改进的H.264视频防失真漂移隐写算法

引用

第十一届全国信息隐藏暨多媒体信息安全学术大会 CIHW2013

作者：王丽娜翟黎明邵强任延珍王旻杰武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072

视频DCT域隐写算法属于内置式隐写过程,由于视频编码中存在量化细节损失,因此量化后的残差DCT系数更适合嵌入,而直接在DCT域上隐写会导致视频帧出现失真漂移现象,使视频质量受到严重破坏.本文根据一类基于纹理特征的帧内4*4亮度块的防... 详细信息

视频DCT域隐写算法属于内置式隐写过程,由于视频编码中存在量化细节损失,因此量化后的残差DCT系数更适合嵌入,而直接在DCT域上隐写会导致视频帧出现失真漂移现象,使视频质量受到严重破坏.本文根据一类基于纹理特征的帧内4*4亮度块的防失真漂移隐写算法,研究了8*8亮度块上的隐写模型,并结合原算法提出了改进算法,使得隐藏容量平均提升30％,PSNR平均仅降低1.94dB.

关键词：视频编码防失真漂移隐写算法纹理特征误差分析

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

紧凑的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 现场可编程逻辑门阵列快速数论变换

来源：评论

学校读者我要写书评

暂无评论

电力CPS信息网络脆弱性及其评估方法

引用

中国电力 2018年第1期51卷 83-89页

作者：杨国泰王宇飞罗剑波陈汹李俊娥刘剑茹叶棋吴亦贝武汉大学电气工程学院湖北武汉430072 空天信息安全与可信计算教育部重点实验室湖北武汉430072 全球能源互联网研究院北京102209 国网电力科学研究院江苏南京211100

电力信息网络是电力CPS的有机组成部分,电力信息网络的脆弱性威胁评估是电力CPS风险评估的重要基础之一。针对通用信息网络脆弱性威胁评估技术的局限性,在通用弱点评价体系(CVSS)的基础上提出了一种适用于电力信息网络的脆弱性威胁评估... 详细信息

电力信息网络是电力CPS的有机组成部分,电力信息网络的脆弱性威胁评估是电力CPS风险评估的重要基础之一。针对通用信息网络脆弱性威胁评估技术的局限性,在通用弱点评价体系(CVSS)的基础上提出了一种适用于电力信息网络的脆弱性威胁评估方法。选取了漏洞分布威胁度、访问途径和利用复杂度3组安全漏洞评估要素;采用层次分析法建立了脆弱性威胁度评估模型,给出了参数构造方法;在定量评估的基础上,将评估结果定义了脆弱性威胁等级。最后给出了一个评估实例,并与CVSS系统进行了比较。评估结果表明基于层次分析法的信息网络脆弱性评估反映了信息与物理的耦合关系。

关键词： CPS 电力信息网络脆弱性威胁评估层次分析法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：