基于图论方法的SHA-1差分路径的精准概率计算

针对SHA-1算法,Stevens提出了以联合概率为基础的高精度差分路径概率模型.它是一个理论值的求解方案,并将理论值分割成三个部分,但对差分路径的概率计算停留在理论层面,未能给出具体的计算方法.本文对第三部分概率进行深入分析,结合图论的方法证明了在由两类最优扰动向量得到的差分路径中,该部分的连通分支中只存在1个或2个布尔函数比特位的结构特性,并给出了两类连通分支的概率特征,利用这些结论可以简化求取差分路径成立概率的过程.最后通过一个差分路径实例展示了概率的具体计算过程,实例证明,本文的差分路径概率模型较原始计算方法(独立地计数充分条件的个数)得到的概率值更贴近真实值,表明了本文的改进概率模型可以对差分路径的概率进行更精准的刻画与计算.

基于非零和随机博弈的APT攻击主动防御策略选取

为解决APT(高级持续性威胁)攻防对抗过程中的防御滞后性问题,并在有限资源下作出最优主动防御决策。针对APT攻击过程中攻防双方意图、可行策略集随攻击阶段推进而演变的特点进行了研究,基于非合作博弈理论构建了多阶段APT攻防随机博弈模型AO-ADSG(APT-oriented attack-defense stochastic game)。针对APT攻防对抗中双方效用不对等的现象引入非零和思想,设计符合APT攻击特征的全资产要素效用量化方法;在分析博弈均衡的基础上给出最优防御策略选取算法。最后,通过“夜龙攻击”模拟实验验证了提出方法的可行性及正确性。

程序逆向分析在软件供应链污染检测中的应用研究综述

近年来软件供应链(SSC)安全问题频发,给软件安全研究带来了巨大挑战。在每天新发布的海量软件的情况下,自动化SSC污染检测变得非常重要。首先剖析和阐述了SSC污染检测问题,之后着眼于在SSC下游开展污染检测的需求,详细介绍了程序逆向分析技术及其在SSC污染检测中的应用,最后总结分析了现有技术在SSC污染检测任务中存在的不足与挑战,给出了克服这些挑战的若干值得研究的课题。

基于PU分类的差分区分器及其应用

差分分析方法的核心是构造高效的差分区分器.2019年Aron Gohr采用深度学习残差网络的方法构造差分区分器,应用于减轮Speck32/64密码算法,五轮和六轮的差分器成功率分别是0.929和0.788.本文采用PU学习(positive-unlabeled learning)的方法,对Speck32/64算法的差分对数据进行训练,利用神经网络中的多层感知机与基于PU学习构造的损失函数,训练得到了一个基于PU分类的差分区分器,并对于减轮Speck32/64算法进行攻击,五轮和六轮差分器成功率分别是0.965和0.860.

一种针对线性循环结构的非线性静态调度策略

现有OpenMP调度策略通常采用动态策略处理程序中的线性循环结构,存在负载不均衡和调度开销大的问题。提出一种针对线性递增或线性递减循环结构的非线性静态调度策略Nonlinear;tatic。将线性循环负载均匀变化参数与总负载、负载峰值、线程数相结合构建调度模型,计算循环迭代在线程上的映射,使迭代块大小呈非线性递增或递减趋势。将线性循环的负载平均地分配在每个线程上,并在开源OMPi编译器中进行编码。在Adjoint Convolution、Compute Pots、Matrix Multiplication、Mandelbrot Set应用程序上进行多线程调度,实验结果表明,相比静态调度、动态调度、指导调度等策略,Nonlinear;tatic调度策略在处理线性循环结构时执行时间缩短了5%~10%,且具有无调度开销的优点。

风云二号多通道卫星数据对流单体检测

在对流单体检测中,相邻的对流云核很难区分。为了解决这个问题,基于红外和水汽通道卫星数据,提出一种新的检测对流单体方法。首先,针对卫星数据的特点进行数据处理,去除亮温大于241 K(对流系统的基准阈值)的像元,并将其归一化到[0,1]。其次,利用H极大值变换技术提取对流核种子点,设计一种八连通域准则使相邻种子点形成聚类并按顺序进行标记,有效地区分了相邻的种子簇。然后,设计一个新的准则判断相邻的种子簇是否需要合并。最后,根据多个阈值产生的种子点设计了种子簇累加合并方法使种子点生长或者与其他相邻的种子点合并,形成最终的对流核。选取红外和水汽通道的多通道数据开展验证实验,并和雷达资料和其他方法进行对比实验,结果表明该方法可以有效地区分相邻的对流单体,在初生、成熟和消散等中尺度对流系统生命周期均准确。此外,所提方法不仅对单个对流核有效,而且对多个对流核也能准确地检测。