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

中国科学：物理学、力学、天文学 2024年第12期54卷 34-51页

作者：邹剑向思明邹长忠吴文玲福州大学计算机与大数据学院福州350108 福州大学网络系统信息安全重点实验室福州350108 中国科学院软件研究所可信计算与信息保障实验室北京100191

祖冲之密码算法(ZUC)是我国推出的一种流密码算法,本文主要研究如何以较低T深度实现ZUC-128算法的完整量子线路.S盒是ZUC-128算法非线性组件的重要组成部分,本文首先通过穷搜剪枝策略和塔域分解技术分别获得了S_(0)和S_(1)的经典线路实... 详细信息

祖冲之密码算法(ZUC)是我国推出的一种流密码算法,本文主要研究如何以较低T深度实现ZUC-128算法的完整量子线路.S盒是ZUC-128算法非线性组件的重要组成部分,本文首先通过穷搜剪枝策略和塔域分解技术分别获得了S_(0)和S_(1)的经典线路实现,然后分两步设计S_(0)和S_(1)量子线路:第一步是减小经典线路的与门深度,第二步是实现量子线路的T深度等于经典线路的与门深度.本文新型的S_(0)和S_(1)的量子线路的T深度都为7.同时本文还研究了加法器和L函数的量子线路实现,以降低整体线路的T深度.最后本文探索出了ZUC-128算法整个流程的量子线路构造,当工作步骤中的L=32轮时,该量子线路需要46008个量子比特,682340个T门,2008535个CNOT门和42680个NOT门,T深度为11341,其量子比特数与T深度的乘积为5.22×10^(8).

关键词： ZUC-128 塔域分解量子线路

来源：评论

学校读者我要写书评

暂无评论

排序可验证的语义模糊可搜索加密方案

引用

工程科学与技术 2017年第4期49卷 119-128页

作者：杨旸杨书略蔡圣暐刘佳李光滟福州大学数学与计算机科学学院福建福州350108 网络系统信息安全福建省高校重点实验室福建福州350108 福州大学物理与信息工程学院福建福州350108

为解决现有语义模糊可搜索加密方案无法取得排序可验证的问题,提出一种支持语义模糊搜索并能对搜索结果的排序进行验证的方案。首先引入相关度分数和域加权得分,构造精确度更高的倒排索引结构。通过非线性保序加密,云服务器可以对搜索... 详细信息

为解决现有语义模糊可搜索加密方案无法取得排序可验证的问题,提出一种支持语义模糊搜索并能对搜索结果的排序进行验证的方案。首先引入相关度分数和域加权得分,构造精确度更高的倒排索引结构。通过非线性保序加密,云服务器可以对搜索结果进行高效排序,减少了用户的计算开销和网络资源浪费。接着基于WordNet词典集对查询关键词进行语义拓展。在构造出语义拓展树后,只选取最相关的语义拓展词进行查询。通过引入语义相似度,设计双因子排序算法对搜索结果进行精确排序。然后为创建验证信息,将关键词集合插入布隆过滤器中,并计算布隆过滤器、安全索引、密文文档的消息认证码。在搜索阶段,通过布隆过滤器可以验证索引中是否存在查询关键词,并使用消息认证码对索引、文档的完整性和正确性进行验证。通过引入索引树结构进一步提高方案的搜索效率。最后,将本方案与相关方案在功能、存储开销、搜索开销等方面进行比较,并对创建索引、创建验证信息、语义拓展、加密查询、查询、验证等方面的开销进行仿真实验。方案对比分析显示本方案在语义搜索、排序、验证等功能上具有优势。实验结果表明,本方案不仅实现了语义模糊搜索与结果排序,而且实现了排序结果可验证功能。

关键词：云计算安全可搜索加密语义相似度域加权得分排序可验证

来源：评论

学校读者我要写书评

暂无评论

云计算中保护数据隐私的快速多关键词语义排序搜索方案

引用

计算机学报 2018年第6期41卷 1346-1359页

作者：杨旸刘佳蔡圣暐杨书略福州大学数学与计算机科学学院福州350108 网络系统信息安全福建省高校重点实验室(福州大学) 福州350108 福建省信息处理与智能控制重点实验室(闽江学院) 福州350121 福州大学物理与信息工程学院福州350108

可搜索加密技术主要解决在云服务器不完全可信的情况下,支持用户在密文上进行搜索.该文提出了一种快速的多关键词语义排序搜索方案.首先,该文首次将域加权评分的概念引入文档的评分当中,对标题、摘要等不同域中的关键词赋予不同的权重... 详细信息

可搜索加密技术主要解决在云服务器不完全可信的情况下,支持用户在密文上进行搜索.该文提出了一种快速的多关键词语义排序搜索方案.首先,该文首次将域加权评分的概念引入文档的评分当中,对标题、摘要等不同域中的关键词赋予不同的权重加以区分.其次,对检索关键词进行语义拓展,计算语义相似度,将语义相似度、域加权评分和相关度分数三者结合,构造了更加准确的文档索引.然后,针对现有的MRSE(Multi-keyword Ranked Search over Encrypted cloud data)方案效率不高的缺陷,将创建的文档向量分块,生成维数较小的标记向量.通过对文档标记向量和查询标记向量的匹配,有效地过滤了大量的无关文档,减少了计算文档相关度分数和排序的时间,提高了搜索的效率.最后,在加密文档向量时,将文档向量分段,每一段与对应维度的矩阵相乘,使得构建索引的时间减少,进一步提高了方案的效率.理论分析和实验结果表明:该方案实现了快速的多关键词语义模糊排序搜索,在保障数据隐私安全的同时,有效地提高了检索效率,减少了创建索引的时间,并返回更加满足用户需求的排序结果.

关键词：云计算可搜索加密语义相似度域加权评分快速KNN(K-Nearest Neighbor)算法

来源：评论

学校读者我要写书评

暂无评论

对缩减轮数SM3散列函数改进的原像与伪碰撞攻击

引用

通信学报 2018年第1期39卷 46-55页

作者：邹剑董乐福州大学数学与计算机科学学院福建福州350108 福州大学网络系统信息安全重点实验室福建福州350108 河南师范大学大数据统计分析与优化控制河南工程实验室河南新乡453007

提出了对SM3散列函数32轮的原像攻击和33轮的伪碰撞攻击。利用差分中间相遇攻击与biclique技术改进了对SM3的原像分析结果,将攻击结果从之前的30轮提高到了32轮。基于上述方法,通过扩展32轮原像攻击中的差分路径,对SM3构造了33轮的伪碰... 详细信息

提出了对SM3散列函数32轮的原像攻击和33轮的伪碰撞攻击。利用差分中间相遇攻击与biclique技术改进了对SM3的原像分析结果,将攻击结果从之前的30轮提高到了32轮。基于上述方法,通过扩展32轮原像攻击中的差分路径,对SM3构造了33轮的伪碰撞攻击。以2^(254.5)的时间复杂度与25的空间复杂度构造了对SM3的32轮原像攻击,并以2^(126.7)的时间复杂度与23的空间复杂度构造了对SM3的33轮伪碰撞攻击。

关键词： SM3散列函数原像攻击伪碰撞攻击差分中间相遇攻击 biclique

来源：评论

学校读者我要写书评

暂无评论

基于取整划分函数的k匿名算法

引用

软件学报 2012年第8期23卷 2138-2148页

作者：吴英杰唐庆明倪巍伟孙志挥福州大学数学与计算机科学学院福建福州350108 东南大学计算机科学与工程学院江苏南京210096 网络系统信息安全福建省高校重点实验室(福州大学) 福建福州350108

提出一种基于取整划分函数的K匿名算法,并从理论上证明该算法在非平凡的数据集中可以取得更低的上界.特别地,当数据集大于2k^2时,该算法产生的匿名化数据的匿名组规模的上界为k+1;而当待发布数据表足够大时,算法所生成的所有匿名组的平... 详细信息

提出一种基于取整划分函数的K匿名算法,并从理论上证明该算法在非平凡的数据集中可以取得更低的上界.特别地,当数据集大于2k^2时,该算法产生的匿名化数据的匿名组规模的上界为k+1;而当待发布数据表足够大时,算法所生成的所有匿名组的平均规模将足够趋近于K.仿真实验结果表明,该算法是有效而可行的.

关键词：隐私保护数据发布 k匿名算法取整划分函数匿名组规模上界

来源：评论

学校读者我要写书评

暂无评论

面向数字微流控生物芯片的差分隐私方案

引用

信息安全学报 2024年第6期9卷 43-59页

作者：陈潇董晨福州大学计算机与大数据学院/软件学院福州350116 网络系统信息安全福建省高校重点实验室福州350116 福建省网络计算与智能信息处理重点实验室福州350116

近年来,基于数字微流控生物芯片(Digital Microfluidic Biochip,DMFB)的分子诊断技术成为热点研究方向。与传统分子诊断技术相比,数字微流控生物芯片具有精准控制离散液滴、执行生化协议等优势。然而,作为网络物理系统的组成,生物芯片... 详细信息

近年来,基于数字微流控生物芯片(Digital Microfluidic Biochip,DMFB)的分子诊断技术成为热点研究方向。与传统分子诊断技术相比,数字微流控生物芯片具有精准控制离散液滴、执行生化协议等优势。然而,作为网络物理系统的组成,生物芯片潜在的隐私安全问题日益突出,比如通信信道的窃听攻击,生化协议的篡改攻击,物理结构保护的版权攻击等。差分隐私作为传统数据隐私保护的常用技术可以融入生物芯片应用以保护用户隐私安全。然而,对隐私安全、生物芯片应用以及生物芯片安全三种技术的交叉研究较为少见。调研分析生物芯片应用的实现机制和威胁模型,包括生化协议、网络物理系统及增强隐私保护的DMFB用户数据安全平台,首先在DMFB用户数据平台上描述了拉普拉斯机制、高斯机制和随机响应机制的应用场景和保护方案,其次基于用户层级敏感度、路由权重集合和路由交叉点参数集合这三个策略提出参数安全发布算法,最后创建防篡改概率作为安全性指标,同时建立置信分数、校准度和累计误差率衡量数据可用性。仿真实验结果表明整体方案的隐私安全性可达98%,数据可用性平均可达93.3%,算法性能试验表明方案最佳的隐私预算为0.4,此外,对比同类算法,所提方案平均提高了12.09%隐私安全性和7.02%的数据可用性,因此该方案能够为DMFB执行生化协议安全有效的用户数据平台。

关键词：数字微流控生物芯片生化协议数据安全差分隐私

来源：评论

学校读者我要写书评

暂无评论

不同纹理复杂度图像生成中CycleGAN循环一致损失系数优化选择方法

引用

计算机科学 2019年第1期46卷 100-106页

作者：徐强钟尚平陈开志张春阳福州大学数学与计算机科学学院福州350116 福州大学网络系统信息安全福建省高校重点实验室福州350116

高质量的图像生成一直是计算机视觉等领域探索的难点和热点。通过使用循环一致损失,CycleGAN在无监督图像生成任务中取得了良好效果。但是面对不同纹理复杂度的图像生成任务,CycleGAN的循环一致损失系数是默认不变的,使得生成图像存在... 详细信息

高质量的图像生成一直是计算机视觉等领域探索的难点和热点。通过使用循环一致损失,CycleGAN在无监督图像生成任务中取得了良好效果。但是面对不同纹理复杂度的图像生成任务,CycleGAN的循环一致损失系数是默认不变的,使得生成图像存在纹理变形甚至消失等弱点,不能很好地保证生成图像的质量。文中融合图像的空间维度和时间维度来度量图像的纹理复杂性,阐明循环一致损失函数在优化目标函数中的重要性,发现并解释循环一致损失系数的大小与不同纹理复杂度图像生成质量的关联性:纹理复杂度越高,应选择越大的循环一致损失系数;反之,应取越小的循环一致损失系数。文中使用基准和自采集的图像数据集,引入了基于迁移学习的分类准确性等生成图像质量评估指标。实验结果表明,优化选择大小合适的循环一致损失系数,可有效提高生成图像的质量。

关键词：图像生成 CycleGAN 优化选择系数循环一致损失纹理复杂度

来源：评论

学校读者我要写书评

暂无评论

新型群智能优化算法综述

引用

计算机工程与应用 2018年第12期54卷 1-9页

作者：林诗洁董晨陈明志张凡陈景辉福州大学数学与计算机科学学院福州350116 福州大学网络系统信息安全福建省高校重点实验室福州350116

传统群智能算法在解决复杂实际多目标优化问题中存在不足,近年来学者提出诸多新型群智能算法,适用性强,在求解复杂实际问题中取得了较好的实验效果。以算法提出时间为主线,对新型群智能算法中细菌觅食优化算法、混合蛙跳算法、人工蜂群... 详细信息

传统群智能算法在解决复杂实际多目标优化问题中存在不足,近年来学者提出诸多新型群智能算法,适用性强,在求解复杂实际问题中取得了较好的实验效果。以算法提出时间为主线,对新型群智能算法中细菌觅食优化算法、混合蛙跳算法、人工蜂群算法、萤火虫算法、布谷鸟搜索、果蝇优化算法和头脑风暴优化算法的改进及应用进行分析和综述,并对群智能算法未来的研究发展方向进行了探讨。

关键词：细菌觅食优化混合蛙跳算法人工蜂群算法萤火虫算法布谷鸟搜索果蝇优化算法头脑风暴优化算法

来源：评论

学校读者我要写书评

暂无评论

安全软件模糊测试中多种群遗传算法的研究

引用

山东大学学报（理学版） 2013年第7期48卷 79-84,100页

作者：杜晓军林柏钢林志远李应福州大学数学与计算机科学学院网络系统信息安全福建省高校重点实验室

结合多种群遗传算法和模糊测试技术,将测试用例对代码块的覆盖率作为适应度值评价的一部分,通过自动化产生畸形测试数据进行模糊测试。同时将针对不同漏洞类型的测试样例放在同一种群内进化,提升了测试效率,为提高软件的安全性提供了基... 详细信息

结合多种群遗传算法和模糊测试技术,将测试用例对代码块的覆盖率作为适应度值评价的一部分,通过自动化产生畸形测试数据进行模糊测试。同时将针对不同漏洞类型的测试样例放在同一种群内进化,提升了测试效率,为提高软件的安全性提供了基础依据。

关键词：模糊测试多种群遗传算法代码覆盖率效果对比

来源：评论

学校读者我要写书评

暂无评论

ZUC算法的线路优化实现

引用

密码学报（中英文） 2024年第5期11卷 1108-1125页

作者：邹剑黄倩魏子豪李立基吴文玲福州大学计算机与大数据学院福州350108 福州大学网络系统信息安全重点实验室福州350108 数据通信科学技术研究所北京100191 中国科学院软件研究所可信计算与信息保障实验室北京100191

当前还未发现ZUC算法S盒的高效线路实现方案,一般以查找表的方式进行实现.该操作将消耗大量的硬件资源,非常不适用于在受限环境下使用ZUC算法.针对上述不足,本文首次给出ZUC算法S盒的完整线路实现以及线性变换的in-place实现,可以有效... 详细信息

当前还未发现ZUC算法S盒的高效线路实现方案,一般以查找表的方式进行实现.该操作将消耗大量的硬件资源,非常不适用于在受限环境下使用ZUC算法.针对上述不足,本文首次给出ZUC算法S盒的完整线路实现以及线性变换的in-place实现,可以有效地降低ZUC算法线路实现的资源开销.ZUC算法中的S盒由4个大小为8×8的S盒组合而成,即S=(S_(0),S_(1),S_(2),S_(3)),其中S_(0)=S_(2),S_(1)=S_(3).首先,使用穷举剪枝的搜索策略以及基于SAT的S盒优化技术给出S_(0)中3个P变换的高效线路实现,进而首次得到S_(0)的紧凑线路实现.其次,根据S_(1)的代数表达式,通过应用几种最先进的组合逻辑最小化技术,对正规基下F28域上求逆运算的720种塔域表示进行全面的研究,得到S_(1)的紧凑线路实现.相较于以往基于复合域的实现方法,节省了25.48%的硬件开销.最后,将ZUC算法中的线性变换转换成矩阵形式,并使用优化线性矩阵的启发式算法得到其in-place实现,减少了34.77%的XOR门数,且不需要使用额外的辅助比特.本文研究将会对传统环境下以及量子环境下ZUC算法的线路实现产生积极的影响.

关键词： ZUC S盒线性变换线路实现

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：