最新刊期
      2024 年 第 51 卷 2 期

        信息与通信工程

      • 高卫峰,王琼,李宏,谢晋,公茂果
        2024, 51(2): 1-12. DOI: 10.19665/j.issn1001-2400.20230413
        摘要：针对目标识别场景下的无人机集群协同任务分配问题,建立了以识别代价和识别收益为目标的优化模型,设计了基于分解的多目标差分进化算法求解该模型。首先,提出了精英初始化方法,在保证所得非支配解分布均匀的基础上,筛选初始解以提高解集的质量;其次,结合模型特性构造整数编码下的多目标差分进化算子,提高算法的收敛速度;最后,设计了带限制的禁忌搜索策略,使得算法具有跳出局部最优的能力。该算法为问题的求解提供一组非支配解集,使得可以根据实际需求选择更加合理的最优解。通过上述方法获得分配方案后,基于拍卖算法设计任务重分配策略,进一步调整分配方案,以应对无人机损毁的突发情况。仿真实验验证了所提算法在求解小、中、大规模任务分配问题上的有效性。相比于其他算法,文中算法所得非支配集具有更高的质量,可以消耗更少的识别代价来获取更高的识别收益,说明算法具有一定的优越性。  
        关键词：任务分配;无人机;多目标算法;进化算法;禁忌搜索   
        2
        |
        0
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 59631348 false
        发布时间：2024-06-03
      • 马英红,吝李婉,焦毅,李秦尧
        2024, 51(2): 13-27. DOI: 10.19665/j.issn1001-2400.20231206
        摘要：为提高计算效率,将复杂的大规模任务分解为简单任务并建模为工作流,交由并行分布式计算集群来完成,已成为云中心处理持续增长的计算和网络任务的重要手段。然而,分布式计算的任务间数据传输所带来的通信带宽占用却容易造成云中心的网络拥塞。如何兼顾计算效率和通信开销,科学地部署工作流意义重大。两类典型的工作流部署算法为基于列表的部署算法和基于分簇的部署算法。然而,前者致力于提高计算效率,未关注工作流中任务之间的通信开销,大规模工作流的部署易带来较重的网络负荷;后者关注通信开销的最小化,但牺牲了工作流中任务的并行计算效率,导致工作流完成时间较长。文中从图论的角度出发,充分挖掘工作流中各任务之间的依赖性和并行性,通过对经典图分割算法进行改进,实现了工作流任务分区过程中通信开销最小化和计算并行性最大化之间的平衡。仿真结果表明,在不同的工作流规模下,所提算法的通信开销比列表部署算法平均减少约35%~50%,工作流完成时间比分簇部署算法平均降低约50%~65%,且对于具有不同通信计算比的工作流均具有良好的稳定性。  
        关键词：云计算;数据中心;工作流;任务部署;图论   
        2
        |
        0
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 59631349 false
        发布时间：2024-06-03
      • 胡嘉琳,任智源,刘安妮,程文驰,梁晓东,李少波
        2024, 51(2): 28-45. DOI: 10.19665/j.issn1001-2400.20230314
        摘要：针对无人机作战网络因自身内部故障或受到敌方攻击干扰而造成的网络性能下降及网络瘫痪问题,提出了一种基于功率分配的强韧性无人机作战网络拓扑构造方法。该方法首先以边连通度作为网络的韧性指标;其次,基于最大流最小割定理将最小割作为韧性指标的测度;在此基础上,考虑到单架无人机及系统整体功率有限,从物理层角度出发,通过调节无人机节点的发射功率以构造拓扑,从而提高网络韧性,提出了功率约束下的无人机作战网络功率分配策略;最后,采用粒子群优化算法解决功率约束下的拓扑结构韧性优化问题。仿真结果表明,在相同的调制方式及功率约束下,面对链路失效模式和节点失效模式,对比其它功率分配算法,基于粒子群优化算法得到的功率分配方案能有效提高无人机作战网络韧性,其所构建的网络在约66.7%的链路失效情况下,平均业务成功到达率仍保持在95%以上,满足实际作战需求。  
        关键词：无人机;韧性;最小割;约束优化   
        2
        |
        0
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 59631714 false
        发布时间：2024-06-03
      • 何慧萌,杨婷,施会丽,王平,邴喆,王星,白勃
        2024, 51(2): 46-55. DOI: 10.19665/j.issn1001-2400.20240103
        摘要：针对可见光通信(VLC)系统中接收平面光功率分布不均匀的问题,提出了一种基于混合粒子群算法(HPSA)的智能反射面(IRS)辅助室内VLC系统光源优化设计方案。以16个发光二极管(LED)的矩形和混合型布局为例,设置接收光功率方差为适应度函数,将所提出的HPSA与IRS技术相结合,对LED的位置布局、半功率角以及IRS的偏航角与滚转角进行优化。仿真对比了初始的(未经优化)、基于HPSA优化的室内VLC系统,以及基于HPSA优化的IRS辅助VLC系统的性能。结果表明,在考虑一次反射链路的情况下,与初始的VLC系统相比,采用HPSA优化的系统在两种光源布局下的接收光功率以及信噪比波动都明显降低;基于HPSA优化的IRS辅助室内VLC系统在矩形布局下对接收光功率波动的改善与基于HPSA优化的VLC系统效果相当,其在混合型布局下明显低于仅采用HPSA优化的VLC系统的光功率波动。3种可见光通信系统中,基于HPSA优化的IRS辅助VLC系统的平均接收光功率最大。此外,上述3种VLC系统采用混合型布局的平均均方时延拓展性能均优于矩形布局。研究工作对室内可见光通信系统光源分布研究具有一定参考价值。  
        关键词：可见光通信系统;发光二极管;光源优化;混合粒子群算法;智能反射面;接收光功率;信噪比   
        2
        |
        0
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 59631726 false
        发布时间：2024-06-03
      • 孙彦景,李林,王博文,李松
        2024, 51(2): 56-67. DOI: 10.19665/j.issn1001-2400.20230414
        摘要：以自然灾害、事故灾难为主要类型的极端突发事件对应急通信网络快速重组与灾情信息实时回传提出了严峻挑战,亟需构建具备快速响应能力、按需动态调整的应急通信网络。为了在断电、断路、断网“三断”极端条件下实现灾情信息实时回传,可通过多无人机形成飞行自组网对受灾区域进行网络通信覆盖。针对灾后复杂环境受限条件下飞行自组织网络通信资源调度不合理引起的信道冲突问题,提出了基于Q-learning的自适应多信道时分多址调度算法。根据无人机间的链路干扰关系建立顶点干扰图,结合图着色理论,将高动态场景下多信道时分多址调度问题抽象为动态二重着色问题。考虑无人机的高速移动性,通过自适应调整Q-learning的学习因子,实现算法的收敛速度与最优解探索能力的权衡优化,以适应高动态的网络拓扑。通过仿真实验证明,所提算法可以实现网络通信冲突和收敛速度的权衡优化,能够解决灾后高动态场景下资源分配决策与快变拓扑适配问题。  
        关键词：无人机;多信道时分多址;图论;自适应Q-learning   
        2
        |
        0
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 59631734 false
        发布时间：2024-06-03
      • 张涵硕,李涛,李勇朝,温志津
        2024, 51(2): 68-75. DOI: 10.19665/j.issn1001-2400.20230704
        摘要：基于射频的无人机识别技术具有探测距离长、环境依赖性低的优点,已成为无人机监控系统不可或缺的技术手段。如何在低信噪比条件下有效识别无人机是当前热点问题。为保证良好的图传质量,无人机通常采用带有循环前缀结构的正交频分复用(OFDM)调制作为图传链路的调制方式。据此特性,首先提出一种基于归一化循环前缀相关谱和卷积神经网络的无人机识别算法。依据对无人机信号的OFDM符号周期和循环前缀长度的分析结果,计算信号归一化循环前缀相关谱。当归一化循环前缀相关谱的计算参数与无人机信号的调制参数匹配时,谱线中会出现若干相关峰,峰的位置分布反映了无人机信号帧结构、突发规则等协议特征。然后,利用卷积神经网络对归一化循环前缀相关谱进行特征分析和提取,从而识别无人机。最后,利用通用软件无线电平台USRP X310对5款无人机的射频信号进行采集,构建实验数据集。实验结果表明,该算法优于基于频谱和基于时频谱的算法,且在低信噪比下仍然有效。  
        关键词：无人机;射频信号;OFDM;归一化循环前缀相关谱   
        2
        |
        0
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 59631822 false
        发布时间：2024-06-03
      • 贾瑞鹏,林中朝,左胜,张玉,杨美红
        2024, 51(2): 76-83. DOI: 10.19665/j.issn1001-2400.20230504
        摘要：面向国产异构众核处理器超级计算机发展趋势,实现了基于CPU+DCU国产异构并行系统的大规模并行高阶矩量法。在同构并行矩量法负载均衡策略的基础上,提出了一种“MPI+openMP+DCU”的高效异构并行编程框架,解决了计算任务与计算能力不匹配的问题,实现了矩量法异构并行计算过程的负载均衡。采用细粒度任务划分策略与异步通信技术,对深度计算处理器计算过程进行了流水线优化设计,实现了计算与通信重叠,提升了矩量法异构协同计算的效率。通过与有限元法的仿真结果对比,验证了CPU+DCU异构并行矩量法的准确性。基于国产深度计算处理器异构平台的可扩展性分析结果表明,与单纯CPU计算相比,所实现的CPU+DCU异构协同计算方法能够获得5.5~7.0倍的加速效果,且在国家超级计算西安中心能够实现全系统运行,并行规模从360节点扩展到3 600节点(共1 036 800个处理器核心),并行效率可以达到约73.5%。  
        关键词：高阶矩量法;国产异构并行系统;深度计算处理器;异构协同并行计算   
        2
        |
        0
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 59631832 false
        发布时间：2024-06-03
      • 吴庭明,吴宪云,邓亮,李云松
        2024, 51(2): 84-95. DOI: 10.19665/j.issn1001-2400.20230701
        摘要：针对室内移动机器人动态避障算法易出现局部死区问题,提出一种改进VFH动态避障算法。首先,针对传统VFH类算法,在候选波谷评价函数中引入波谷宽度和路径长度评价指标以降低移动机器人陷入局部死区的概率,提高路径平滑性;其次,针对局部避障算法受限于局部环境易在障碍物附近发生来回振荡的问题,引入振荡评价函数,通过计算移动机器人位姿到起始点和终点的加权欧氏距离绘制振荡评价曲线,利用自动峰值检测和一阶前向差分曲线获取振荡位置,并添加振荡抑制,使移动机器人逃离局部死区。仿真验证表明,在100组仿真场景中,改进算法陷入局部死区的场景减少约70组,平均规划迭代次数降低约32.3次,平均路径长度降低约26.2%,平均累计转折角度降低约79.6%。该算法有效降低了局部避障的代价,提高路径平滑度的同时降低在局部特殊环境下陷入死区的概率。  
        关键词：避障;VFH;局部死区;振荡曲线   
        2
        |
        0
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 59631906 false
        发布时间：2024-06-03
      • 龚峻扬,付卫红,方厚章
        2024, 51(2): 96-106. DOI: 10.19665/j.issn1001-2400.20230407
        摘要：针对合成孔径雷达(SAR)图像中的舰船目标的准确率易受近岸杂波的影响,且现有检测算法复杂度高,在嵌入式设备上的部署难度大的问题,提出一种适用于嵌入式设备的轻量化高精度SAR图像舰船目标检测算法CA-Shuffle-YOLO。基于YOLO v5目标检测算法,对骨干网络进行轻量化及特征精细化提取两个方面的改进,引入轻量化模块以降低网络的计算复杂度,提高推理速度,并引入协同注意力机制模块增强算法对近岸船舶目标的细节信息的提取能力。在特征融合网络中采用加权特征融合以及跨模块融合,增强模型对SAR舰船目标的细节信息的融合能力,同时,利用深度卷积模块降低计算复杂度,提高实时性。通过在SSDD舰船目标检测数据集上的测试及对比实验的结果,表明CA-Shuffle-YOLO的检测准确率约为97.4%,检测帧率为206 FPS,所需运算复杂度为6.1 GFlops,相比原始的YOLO v5,所提方法的检测帧率提升了60 FPS,所需运算复杂度降低为原来的12%。  
        关键词：合成孔径雷达;目标检测;卷积神经网络;特征提取   
        2
        |
        0
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 59631905 false
        发布时间：2024-06-03
      • 张衡,蔚保国,潘树国
        2024, 51(2): 107-115. DOI: 10.19665/j.issn1001-2400.20230409
        摘要：针对北斗伪卫星信号引入室内并在小尺度空间下提供高精度定位的难题,如何在顾及网络建设成本的基础上提升小尺度空间的定位时效性和定位精度是未来室内定位技术中需要解决的重要一环。此处充分结合室内环境下小尺度空间的空间特征,提出一种室内节点信标辅助的北斗伪卫星载波相位差定位方法。该方法首先将传统的大范围指纹构建问题转化为指纹节点的方式,在指纹图谱的基础上提出室内节点信标的概念,通过信标节点实现小尺度空间与周围空间的连接,并对以载噪比和载波相位为基础的信标特征谱构建与处理进行了分析;然后以室内节点信标为基础给出了基于载波相位差的位置估计过程,最后结合粒子群寻优算法提出一种顾及行人特征的位置与速度空间约束下的位置搜索算法。在真实环境下的试验结果表明,通过室内节点信标的辅助在室内环境可以实现动态定位精度优于30 cm、暂停态下的定位精度优于25 cm的定位效果。正常步速运动下算法与惯性导航定位精度相当,同时相比于惯性导航方式具有更宽松的运动姿态条件。在小尺度空间下算法具有更优的适用性。  
        关键词：北斗伪卫星;小尺度空间;载波相位;室内节点信标;高精度定位   
        2
        |
        0
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 59631351 false
        发布时间：2024-06-03
      • 邢莉娟,李卓,黄彦彪
        2024, 51(2): 116-125. DOI: 10.19665/j.issn1001-2400.20230505
        摘要：为了实现浅海环境中高速率和高可靠通信,研究了极化码编译码技术在浅海水声通信中的性能。针对基于射线声学理论建立的时不变、准静止和时变3种浅海水声信道模型,采用蒙特卡罗构造算法完成相应极化码的构造,并分别与信道极化和信道退化构造算法、基对称扩展极化权重构造算法进行了复杂度和性能比较。将构造的极化码作为文中基于正交频分复用的水声通信系统的信道编码方案,译码方案使用循环冗余校验辅助的串行抵消列表译码算法。通过仿真模拟分析了上述3种信道中极化码的性能,并与码长和码率相同的低密度奇偶校验码的性能进行对比分析;结果显示在这3种信道中,在关注的信噪比范围内极化码相对于低密度奇偶校验码约有0.5 dB~1.2 dB的增益。3种信道仿真对比结果表明,基于信道构造编码的极化码相比低密度奇偶校验码在恶劣的信道环境中有更好的增益效果,且极化码有更低的编译码复杂度,证明了极化码在能量和资源受限的浅海水声通信中具有广阔的应用前景。  
        关键词：水声通信;正交频分复用;极化码;蒙特卡罗构造   
        2
        |
        0
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 59631350 false
        发布时间：2024-06-03

        计算机科学与技术&网络空间安全

      • 刘振岩,张华,刘勇,杨立波,王梦迪
        2024, 51(2): 126-136. DOI: 10.19665/j.issn1001-2400.20230901
        摘要：模糊测试技术作为当前软件工程领域用于挖掘漏洞的有效方式之一,其在发现软件潜在漏洞方面有着非常显著的效果。针对传统模糊测试技术中种子选择策略无法快速有效地生成高质量的种子集,导致变异生成的测试用例无法到达更深路径、触发更多安全漏洞的问题,基于改进生成对抗网络(GAN)提出了一个种子生成方法以实现高效模糊测试。通过优化LeakGAN网络结构提高生成种子的质量和多样性,引入编解码技术实现灵活扩展生成种子的类型,并显著提高了在不同输入格式下目标程序的模糊测试性能。实验结果表明,采取的种子生成策略在覆盖率、触发唯一崩溃等指标上有明显提升,并有效地提高了种子生成速度。文中选择了6个具有不同高度结构化输入的开源程序和不同的模糊测试工具来验证策略的有效性,相较原策略分支覆盖率平均增长约2.79%,并且多发现了约10.35%的唯一路径以及约86.92%的唯一崩溃。  
        关键词：漏洞挖掘;网络安全;模糊测试;深度学习   
        2
        |
        0
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 59631347 false
        发布时间：2024-06-03
      • 肖怡心,刘三阳
        2024, 51(2): 137-156. DOI: 10.19665/j.issn1001-2400.20230602
        摘要：在智能优化算法应用于复杂优化问题的求解过程中,平衡开发和探索以获得最优解具有重要意义。因此针对传统蝗虫优化算法在处理一些较为复杂的优化问题时出现的收敛精度低、搜索能力弱且容易陷入局部最优等缺陷,提出一种融合模式搜索的蝗虫优化算法。首先引入Sine混沌映射初始化蝗虫个体种群位置,减少个体重叠概率以增强种群迭代初期的多样性;其次利用模式搜索法,对种群目前找到的最优目标展开局部搜索,提高算法的收敛速度与寻优精度;同时为了避免算法后期陷入局部最优,引入了基于凸透镜成像的反向学习策略。实验部分通过对改进的蝗虫算法进行消融实验,验证了Sine 混沌映射、模式搜索、反向学习每个策略的独立有效性。并用两组测试函数进行仿真实验,采用Wilcoxon秩和检验、Friedman 检验的方法进行结果分析。实验结果均表明了融合模式搜索法改进的蝗虫算法在收敛速度与寻优精度上得到明显提高。最后,将其应用于移动机器人路径规划,测试结果进一步验证了改进算法的有效性。  
        关键词：蝗虫优化算法;粒子群优化算法;模式搜索;时间复杂度;统计检验;路径规划   
        2
        |
        0
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 59631504 false
        发布时间：2024-06-03
      • 蔡明娇,蒋俊正,蔡万源,周芳
        2024, 51(2): 157-169. DOI: 10.19665/j.issn1001-2400.20230412
        摘要：高光谱图像在采集过程中受到观测条件、成像仪材料属性、传输条件等客观因素的影响,不可避免地会引入各种噪声。这严重降低了高光谱图像的质量以及限制了后续处理的精度。因此,高光谱图像去噪是一个极其重要的预处理步骤。针对高光谱图像去噪问题,提出了低秩张量分解和自适应图全变分的高光谱图像去噪算法。首先,利用低秩张量分解来描述高光谱图像的全局空间和光谱相关性,并使用自适应权重图全变分来刻画高光谱图像空间维度上的分段平滑特性和保留高光谱图像的边缘信息;此外,采用l1-范数、Frobenius-范数分别刻画包括条纹噪声、脉冲噪声、死线噪声在内的稀疏噪声和高斯噪声。由此高光谱图像去噪问题归结为一个包含低秩张量分解和自适应图全变分的约束优化问题。利用增广拉格朗日乘子法对该优化问题进行交替求解。实验结果表明,所提出的高光谱图像去噪算法与现有的算法相比,能够充分刻画高光谱图像数据的内在结构特性,具有更好的去噪性能。  
        关键词：高光谱图像去噪;Tucker分解;自适应图全变分   
        2
        |
        0
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 59631506 false
        发布时间：2024-06-03
      • 张强,周水生,张颖
        2024, 51(2): 170-181. DOI: 10.19665/j.issn1001-2400.20230604
        摘要：密度峰值聚类(DPC)以其简单、高效的特点被广泛应用。然而,其有两个不足:① 集群密度不均匀和不平衡的数据集在DPC所提供的决策图中,很难识别真正的聚类中心;② 存在一个区域密度最高的点的错误分配将导致该区域内的所有点都指向同一个错误的聚类的“链式效应”。针对这两个不足,引入新的自然邻域(NaN)的概念,提出了一种基于自然邻域的密度峰值聚类算法(DPC-NaN)。算法使用新的自然邻域密度识别噪声点,选择初始预聚类中心点,将非噪声点按密度峰值方法进行分配以得到预聚类;并通过确定预聚类的边界点和合并半径,自适应地将预聚类结果合并为最终聚类。所提算法无需人工预设参数,也缓解了“链式效应”的问题。实验结果表明,与相关聚类算法相比,所提出的算法可在典型的数据集上获得更好的聚类结果,同时在图像分割表现良好。  
        关键词：聚类;密度峰值聚类;自然邻域;图像分割   
        2
        |
        0
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 59631509 false
        发布时间：2024-06-03
      • 翟凤文,孙芳林,金静
        2024, 51(2): 182-195. DOI: 10.19665/j.issn1001-2400.20230211
        摘要：在通过深度学习模型进行抑郁症类脑电信号分析时,针对单一尺度的卷积存在特征提取不充分的问题和卷积神经网络在感知脑电信号全局依赖性方面的局限性,分别设计了多尺度动态卷积网络模块和门控Transformer编码器模块,并与时间卷积网络相结合,提出了混合网络模型(MGTTCNet)进行抑郁症患者和健康对照组的脑电信号分类。该模型首先通过多尺度动态卷积从空间域和频率域捕捉脑电信号的多尺度时频信息。其次通过门控Transformer编码器学习脑电信号中的全局依赖关系,其利用多头注意力机制有效增强网络表达相关脑电信号特征的能力。之后利用时间卷积网络提取脑电信号可用的时间特征,最后将提取的抽象特征输入到分类模块进行分类。在公开数据集MODMA上用留出法和十折交叉验证法对提出模型进行实验验证,分别取得了约98.51%和98.53%的分类准确率,相较于基线单尺度模型EEGNet,分类准确率分别提升了约1.89%和1.93%,F1值分别提升了约2.05%和2.08%,kappa系数值分别提高了约0.038 1和0.038 5;同时消融实验验证了文中设计的各个模块的有效性。  
        关键词：脑电信号;抑郁分类;深度学习;Transformer;时间卷积网络   
        2
        |
        0
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 59631511 false
        发布时间：2024-06-03
      • 田有亮,赵敏,毕仁万,熊金波
        2024, 51(2): 196-210. DOI: 10.19665/j.issn1001-2400.20230305
        摘要：针对云环境下数据隐私泄露及聚类过程中云服务器间共谋的问题,提出一种抗理性敌手共谋的安全协作K-prototype聚类方案,目的在不泄露各方隐私数据情况下根据距离度量将相似的数据进行聚类。首先,考虑到同态加密不直接支持非线性计算,基于同态加密和加性秘密共享技术设计安全比较协议和安全大于协议,并确保输入数据、中间结果及模型参数均为加性秘密份额形式,以防止单个服务器能够获得完整数据,且能实现非线性函数的精确计算,在已设计的安全计算协议基础上,实现安全距离计算、安全聚类标签更新、安全聚类中心更新、聚类标签及聚类中心重构;其次,根据博弈均衡理论设计多种高效激励机制,构造互制合约及举报合约以约束云服务器诚实非共谋地执行聚类任务;最后,对所提的安全计算协议及合约进行理论分析,并对该方案的性能进行实验验证。实验结果表明,与明文环境下的模型精度相比,该方案的模型精度损失控制在0.22%内,进而验证了所提方案的有效性。  
        关键词：加性秘密共享;同态加密;安全计算协议;抗共谋;安全协作   
        1
        |
        0
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 59631510 false
        发布时间：2024-06-03
      • 张峰,刘正斌,张晶,张文政
        2024, 51(2): 211-223. DOI: 10.19665/j.issn1001-2400.20230404
        摘要：ARX密码由模加、循环移位和异或这3种基本运算组成。目前ARX密码差分—线性区分器偏差的计算大多采用统计分析的方法。在2022年美密会上,NIU等给出了一种计算ARX密码差分—线性区分器相关度的非统计分析的方法,并给出了SPECK32/64的10轮差分—线性区分器。基于BLONDEAU等和BAR-ON等的方法,给出了差分—线性特征的定义,并首次提出了用差分—线性特征计算差分—线性区分器偏差的方法。同时,提出了一种基于布尔可满足性问题(SAT)自动化技术搜索差分—线性特征的方法,给出了计算ARX密码差分—线性区分器偏差的非统计分析的新方法。作为应用,对NIU等给出的SPECK32/64的10轮差分—线性区分器偏差进行计算,得到的理论值为2-15.00,非常接近统计分析的实验值2-14.90,且优于NIU等给出的理论值2-16.23。同时,首次给出了SIMON32/64的9轮差分—线性区分器偏差的理论值2-8.41,接近统计分析得到的实验值2-7.12。实验结果说明了这种方法的有效性。  
        关键词：差分—线性区分器;ARX密码;SAT/SMT;SPECK;SIMON   
        2
        |
        0
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 59631682 false
        发布时间：2024-06-03
      • 翟社平,陆娴婧,霍媛媛,杨锐
        2024, 51(2): 224-238. DOI: 10.19665/j.issn1001-2400.20230410
        摘要：传统的条件广播代理重加密数据共享方式过度依赖不可信第三方代理商,存在效率低、数据安全和隐私泄露等问题。针对以上问题,提出了一种将条件广播代理重加密与区块链共识机制相结合的信息安全保障方案。首先,为解决单个代理商的单点故障以及合谋攻击问题,所提方案使用区块链节点轮流担任代理商节点,同时利用融合信誉机制的委托权益证明共识算法筛选出高信誉度的代理商节点参与重加密过程,大大降低了单点故障和合谋攻击的风险。其次,针对代理商节点对重加密密钥使用的高权限问题,引入门限密钥思想,将重加密密钥分割为多个片段,这些片段分布于不同的代理商节点上。通过这种方式,任何单个代理商节点都无法单独完成数据的解密,从而有效提高了重加密过程的安全性。最后,通过对方案的安全性、正确性和可信度进行分析,表明提出的方案能有效解决传统方案中的安全隐患。仿真实验结果证明,与现有数据共享方案相比,所提方案在保障数据安全方面具有明显优势,同时计算成本较低。  
        关键词：条件广播代理重加密;门限密钥;区块链;共识机制   
        0
        |
        0
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 59631696 false
        发布时间：2024-06-03
      0