-
题名基于图论方法的SHA-1差分路径的精准概率计算
被引量:1
- 1
-
-
作者
李婧瑜
杨阳
曾光
李德刚
-
机构
中国人民解放军战略支援部队信息工程大学数学工程与先进计算国家重点实验室
中国科学院软件研究所可信计算与信息保障实验室
-
出处
《密码学报》
CSCD
2021年第3期452-467,共16页
-
基金
国家重点研发计划(2017YFB0803203)
国家自然科学基金(61972413)
数学工程与先进计算国家重点实验室开放基金(2020A08)。
-
文摘
针对SHA-1算法,Stevens提出了以联合概率为基础的高精度差分路径概率模型.它是一个理论值的求解方案,并将理论值分割成三个部分,但对差分路径的概率计算停留在理论层面,未能给出具体的计算方法.本文对第三部分概率进行深入分析,结合图论的方法证明了在由两类最优扰动向量得到的差分路径中,该部分的连通分支中只存在1个或2个布尔函数比特位的结构特性,并给出了两类连通分支的概率特征,利用这些结论可以简化求取差分路径成立概率的过程.最后通过一个差分路径实例展示了概率的具体计算过程,实例证明,本文的差分路径概率模型较原始计算方法(独立地计数充分条件的个数)得到的概率值更贴近真实值,表明了本文的改进概率模型可以对差分路径的概率进行更精准的刻画与计算.
-
关键词
SHA-1算法
差分路径
概率模型
-
Keywords
SHA-1
differential path
probability model
-
分类号
TP309.7
[自动化与计算机技术—计算机系统结构]
-
-
题名基于非零和随机博弈的APT攻击主动防御策略选取
被引量:7
- 2
-
-
作者
李静轩
朱俊虎
邱菡
郭伟
-
机构
战略支援部队信息工程大学数学工程与先进计算国家重点实验室
国家数字交换系统工程技术研究中心
-
出处
《计算机应用研究》
CSCD
北大核心
2020年第10期3071-3076,3111,共7页
-
基金
国家自然科学基金资助项目。
-
文摘
为解决APT(高级持续性威胁)攻防对抗过程中的防御滞后性问题,并在有限资源下作出最优主动防御决策。针对APT攻击过程中攻防双方意图、可行策略集随攻击阶段推进而演变的特点进行了研究,基于非合作博弈理论构建了多阶段APT攻防随机博弈模型AO-ADSG(APT-oriented attack-defense stochastic game)。针对APT攻防对抗中双方效用不对等的现象引入非零和思想,设计符合APT攻击特征的全资产要素效用量化方法;在分析博弈均衡的基础上给出最优防御策略选取算法。最后,通过“夜龙攻击”模拟实验验证了提出方法的可行性及正确性。
-
关键词
APT攻击
非零和博弈
全资产要素效用量化
攻防意图
攻击预测
主动防御决策
-
Keywords
APT attack
non-zero-sum game
all-assets-elements utility quantification
attack-defense intention
attack forecast
active defense decision-making
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名程序逆向分析在软件供应链污染检测中的应用研究综述
被引量:3
- 3
-
-
作者
武振华
张超
孙贺
颜学雄
-
机构
战略支援部队信息工程大学数学工程与先进计算国家重点实验室
清华大学网络科学与网络空间研究院
陆军工程大学指挥控制工程学院
-
出处
《计算机应用》
CSCD
北大核心
2020年第1期103-115,共13页
-
基金
国家自然科学基金联合基金资助项目(U1736209,61772308)
国家重点研发计划项目(2017YFB0802900)~~
-
文摘
近年来软件供应链(SSC)安全问题频发,给软件安全研究带来了巨大挑战。在每天新发布的海量软件的情况下,自动化SSC污染检测变得非常重要。首先剖析和阐述了SSC污染检测问题,之后着眼于在SSC下游开展污染检测的需求,详细介绍了程序逆向分析技术及其在SSC污染检测中的应用,最后总结分析了现有技术在SSC污染检测任务中存在的不足与挑战,给出了克服这些挑战的若干值得研究的课题。
-
关键词
软件供应链
污染检测
程序逆向分析
软件安全
-
Keywords
Software Supply Chain (SSC)
pollution detection
reverse engineering analysis
software security
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名基于PU分类的差分区分器及其应用
被引量:1
- 4
-
-
作者
宿恒川
朱宣勇
段明
-
机构
战略支援部队信息工程大学数学工程与先进计算国家重点实验室
-
出处
《密码学报》
CSCD
2021年第2期330-337,共8页
-
基金
国家自然科学基金(61170325)。
-
文摘
差分分析方法的核心是构造高效的差分区分器.2019年Aron Gohr采用深度学习残差网络的方法构造差分区分器,应用于减轮Speck32/64密码算法,五轮和六轮的差分器成功率分别是0.929和0.788.本文采用PU学习(positive-unlabeled learning)的方法,对Speck32/64算法的差分对数据进行训练,利用神经网络中的多层感知机与基于PU学习构造的损失函数,训练得到了一个基于PU分类的差分区分器,并对于减轮Speck32/64算法进行攻击,五轮和六轮差分器成功率分别是0.965和0.860.
-
关键词
PU学习
SPECK
差分区分器
-
Keywords
PU learning
Speck
differential distinguisher
-
分类号
TP309.7
[自动化与计算机技术—计算机系统结构]
-
-
题名一种针对线性循环结构的非线性静态调度策略
被引量:1
- 5
-
-
作者
李亚朋
庞建民
徐金龙
聂凯
-
机构
郑州大学中原网络安全研究院
中国人民解放军战略支援部队信息工程大学数学工程与先进计算国家重点实验室
中国人民解放军战略支援部队信息工程大学
-
出处
《计算机工程》
CAS
CSCD
北大核心
2022年第1期155-162,共8页
-
基金
之江实验室重大科研项目“先进工业互联网安全平台”(2018FD0ZX01)。
-
文摘
现有OpenMP调度策略通常采用动态策略处理程序中的线性循环结构,存在负载不均衡和调度开销大的问题。提出一种针对线性递增或线性递减循环结构的非线性静态调度策略Nonlinear;tatic。将线性循环负载均匀变化参数与总负载、负载峰值、线程数相结合构建调度模型,计算循环迭代在线程上的映射,使迭代块大小呈非线性递增或递减趋势。将线性循环的负载平均地分配在每个线程上,并在开源OMPi编译器中进行编码。在Adjoint Convolution、Compute Pots、Matrix Multiplication、Mandelbrot Set应用程序上进行多线程调度,实验结果表明,相比静态调度、动态调度、指导调度等策略,Nonlinear;tatic调度策略在处理线性循环结构时执行时间缩短了5%~10%,且具有无调度开销的优点。
-
关键词
OpenMP调度策略
负载均衡
调度开销
静态调度
线性循环
-
Keywords
OpenMP scheduling strategy
load balancing
scheduling overhead
static scheduling
linear loop
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名风云二号多通道卫星数据对流单体检测
被引量:1
- 6
-
-
作者
刘佳
罗向阳
-
机构
商丘师范学院信息技术学院
战略支援部队信息工程大学数学工程与先进计算国家重点实验室
-
出处
《遥感学报》
EI
CSCD
北大核心
2020年第8期1023-1031,共9页
-
基金
国家重大科技专项高分专项(编号:E0310/1112/02-1)
河南省科技攻关项目(编号:202102210158)
河南省高等学校重点科研项目(编号:18B520032,20B520028)。
-
文摘
在对流单体检测中,相邻的对流云核很难区分。为了解决这个问题,基于红外和水汽通道卫星数据,提出一种新的检测对流单体方法。首先,针对卫星数据的特点进行数据处理,去除亮温大于241 K(对流系统的基准阈值)的像元,并将其归一化到[0,1]。其次,利用H极大值变换技术提取对流核种子点,设计一种八连通域准则使相邻种子点形成聚类并按顺序进行标记,有效地区分了相邻的种子簇。然后,设计一个新的准则判断相邻的种子簇是否需要合并。最后,根据多个阈值产生的种子点设计了种子簇累加合并方法使种子点生长或者与其他相邻的种子点合并,形成最终的对流核。选取红外和水汽通道的多通道数据开展验证实验,并和雷达资料和其他方法进行对比实验,结果表明该方法可以有效地区分相邻的对流单体,在初生、成熟和消散等中尺度对流系统生命周期均准确。此外,所提方法不仅对单个对流核有效,而且对多个对流核也能准确地检测。
-
关键词
遥感
对流单体
对流核
H-极大值变换
聚类
风云二号
种子点
-
Keywords
remote sensing
convective cell
convective core
H-maxima transform
clustering
FY-2
seed point
-
分类号
P407
[天文地球—大气科学及气象学]
-