检索结果-南通市图书馆

信息工程大学学报 2015年第5期16卷 535-538,566页

作者：蒋梓龙杨靖宇李昂侯光伟马博文信息工程大学河南郑州450001

通过对TEA型ARX模型各个环节线性掩码传播规律的分析,对该类算法零相关线性逼近进行了研究。证明了该类算法最长零相关线性逼近与圈函数中的左移、右移位数和分组长度这3类参数之间的关系,并给出了最大轮数零相关线性逼近的计数。

关键词： ARX模型 TEA型算法零相关线性逼近构造与计数

在线全文

学校读者我要写书评

暂无评论

SMS4算法的多维零相关线性分析

密码学报 2015年第5期2卷 458-466页

作者：马猛赵亚群刘庆聪刘凤梅信息工程大学数学与先进计算国家重点实验室郑州450000031 信息保障技术重点实验室北京100072

SMS4算法是中国无线标准中使用的分组加密算法,2012年被国家商用密码管理局确定为国家密码行业标准.作为中国官方公布的第一个商用密码算法,SMS4算法的安全性分析是当前密码学界的研究热点之一.SMS4算法是一种32轮的迭代非平衡Feistel... 详细信息

SMS4算法是中国无线标准中使用的分组加密算法,2012年被国家商用密码管理局确定为国家密码行业标准.作为中国官方公布的第一个商用密码算法,SMS4算法的安全性分析是当前密码学界的研究热点之一.SMS4算法是一种32轮的迭代非平衡Feistel结构的分组密码算法,其加解密过程中使用的算法完全相同,唯一的不同点就是该算法的解密密钥是由它的加密密钥进行逆序变换后得到的,因此,SMS4算法在32轮非线性迭代之后有一个反序变换.本文证明了SMS4算法存在11轮零相关线性逼近,选取了其中一类特殊的零相关线性逼近,缩小了密钥猜测空间,分析了14轮SMS4算法对多维零相关线性攻击技术的安全性.结果显示:该攻击的数据复杂度为2123.5个已知明密文,时间复杂度为2120.7次14轮SMS4加密,存储复杂度为273个SMS4分组.虽然14轮SMS4算法对多维零相关线性攻击是不免疫的,但是其数据复杂度较其它攻击方法还很高,且14轮距离目前最高攻击轮数还有较大差距,因此SMS4算法在抗多维零相关线性分析方面仍然有足够的安全边界.

关键词：分组密码 SMS4算法多维零相关线性分析零相关线性逼近

在线全文

学校读者我要写书评

暂无评论

轻量级分组密码算法ESF的安全性分析

计算机研究与发展 2017年第10期54卷 2224-2231页

作者：尹军马楚焱宋健曾光马传贵数学工程与先进计算国家重点实验室(中国人民解放军信息工程大学) 郑州450001 中国科学院信息工程研究所北京100093 中国科学院大学北京100049 国防科学技术大学长沙410073 陆军航空兵学院北京101116

自动化分析是当前对密码算法进行安全性评估的重要方法之一,具有高效、易实现的特点.对面向位的分组密码,自从Sun等人在2014年亚洲密码年会上提出基于MILP问题的差分和线性自动化搜索方法,该方法受到了许多密码学者的关注.目前,针对求... 详细信息

自动化分析是当前对密码算法进行安全性评估的重要方法之一,具有高效、易实现的特点.对面向位的分组密码,自从Sun等人在2014年亚洲密码年会上提出基于MILP问题的差分和线性自动化搜索方法,该方法受到了许多密码学者的关注.目前,针对求解多轮密码算法MILP模型,如何减少变量和约束不等式的研究工作相对较少,还有很多问题有待解决.根据异或操作的差分传播模式,在2017年欧洲密码年会上,Sasaki等人给出了不带假设变量的新约束不等式,该约束不等式在降低变量和约束数量的前提下保留了异或操作的差分传播性质.同时,对于S盒的性质,当输入差分变量(线性掩码)非零时,该S盒必定活跃,Sun等人用了4个约束不等式来刻画该性质,经过简单的变换,可以用1个约束来表示该性质.基于这些精炼的约束和自动化搜索方法,针对轻量级分组密码算法ESF,建立单密钥下精炼的差分和线性MILP模型,首次给出了ESF算法在单密钥情形下的差分和线性分析结果,得到了15轮ESF算法差分最小活跃S盒数量为19和16轮ESF算法线性最小活跃S盒数量为15.此外,还搜索到了轮数最长的不可能差分和零相关线性逼近区分器.

关键词：差分密码分析线性密码分析不可能差分零相关线性逼近 ESF MILP

在线全文

学校读者我要写书评

暂无评论

Zodiac算法的多重零相关线性分析

信息工程大学学报 2017年第1期18卷 82-86页

作者：马猛赵亚群刘庆聪数学工程与先进计算国家重点实验室河南郑州450001

首次从零相关线性分析的角度评价了Zodiac算法的安全性,构造出两类不同的14轮零相关线性逼近,结合快速傅立叶变换(FFT)技术对全轮Zodiac算法进行了多重零相关线性分析,成功恢复出64-bit轮子密钥信息。结果显示:完整16轮Zodiac-128/192/... 详细信息

首次从零相关线性分析的角度评价了Zodiac算法的安全性,构造出两类不同的14轮零相关线性逼近,结合快速傅立叶变换(FFT)技术对全轮Zodiac算法进行了多重零相关线性分析,成功恢复出64-bit轮子密钥信息。结果显示:完整16轮Zodiac-128/192/256算法的多重零相关线性攻击的数据复杂度为2^(123.3)个已知明文,时间复杂度大约为2^(120.3)次16轮Zodiac算法加密,攻击的成功率约为0.85。

关键词：分组密码 Zodiac 多重零相关线性分析零相关线性逼近

在线全文

学校读者我要写书评

暂无评论

Zodiac算法的零相关-积分攻击

计算机科学 2017年第2期44卷 202-205页

作者：马猛赵亚群刘庆聪信息工程大学数学工程与先进计算国家重点实验室郑州450001

Zodiac算法是一种由一批韩国学者设计的分组密码算法,它是16轮平衡Feistel型的分组密码。首次从零相关-积分分析的角度评价了Zodiac算法的安全性,构造出算法的两类13轮零相关线性逼近,并据此给出了13轮零相关-积分区分器,对全轮Zodiac... 详细信息

Zodiac算法是一种由一批韩国学者设计的分组密码算法,它是16轮平衡Feistel型的分组密码。首次从零相关-积分分析的角度评价了Zodiac算法的安全性,构造出算法的两类13轮零相关线性逼近,并据此给出了13轮零相关-积分区分器,对全轮Zodiac算法进行了零相关-积分分析,成功恢复出了144bit轮子密钥信息。结果显示:完整16轮Zodiac-128/192/256算法的零相关-积分攻击的数据复杂度为2120个选择明文,时间复杂度大约为282次16轮Zodiac算法加密,时间复杂度明显优于已有的积分攻击结果。

关键词：分组密码 Zodiac算法零相关线性逼近零相关-积分分析

在线全文

学校读者我要写书评

暂无评论

基于路径搜索模型的轻量级密码安全性分析

基于路径搜索模型的轻量级密码安全性分析

作者：李株华江苏大学

学位级别：硕士

随着信息产业的迅猛发展,物联网技术也进入创新发展期,数量高速增长的物联网终端逐渐覆盖各行业的同时,也带来了新安全挑战。密码作为信息保护工具始终在物联网安全中扮演着重要角色。轻量级密码方案由于结构简单,实施效率高,适宜资源... 详细信息

随着信息产业的迅猛发展,物联网技术也进入创新发展期,数量高速增长的物联网终端逐渐覆盖各行业的同时,也带来了新安全挑战。密码作为信息保护工具始终在物联网安全中扮演着重要角色。轻量级密码方案由于结构简单,实施效率高,适宜资源受限环境等特点,在终端的加密和认证方面有着广泛应用,由此对轻量级密码算法的深入安全性分析十分重要。近来,利用路径搜索工具构建分析框架已经被广泛应用于密码算法安全性评估中,并给出了新的分析结果。基于此背景,本文聚焦于几种轻量级密码分析与路径搜索模型构建间的不足,旨在研究基于路径搜索模型的轻量级密码安全性分析的改进方案,以获得更好的分析结果。本文的研究工作如下:(1)提出了基于分离路径传播的立方分析改进方案。针对目前研究中超级多项式恢复过程的复杂度过高问题,本文首先提出了分离路径传播的过滤性质,降低了判定可能单项的复杂度;其次改进了Flag技术中附属信息的初始化规则,以识别传播模型中更多无效分离路径,从而减少了系数未定单项的数目。在对Grain128a算法的实验分析中,验证了方案的有效性。其中,184轮中系数未定单项的数目降低至原方案的57%。(2)提出了基于MILP的相关密钥偏差不变线性分析的改进方案。原方案在正确密钥下统计量的逼近分布基于线性逼近偏差不变假设,使得最终获得的数据量不能合理地区分出错误密钥,针对此问题,本文考虑密钥值变化对线性逼近偏差的影响,从而获得统计量的调整分布,并通过MILP评估调整分布的参数。此外构建了区分器的比特级MILP搜索模型,利用所提的线性逼近传播边界确定理论,将区分器搜索转化为密钥差分传播中路径的搜索。在对LBlock算法的实验分析中,验证了搜索模型的可行性,并获得了新数据复杂度下界以区分猜测密钥。(3)提出了一种零相关线性逼近的搜索算法。本文在线性特征相关度非零的传播模型上,给出了类零相关线性逼近的搜索算法,在单次传播模型的评估结果中可以获得多条缩减轮零相关线性逼近。在对GIFT算法的实验分析中,验证了GIFT算法在零相关线性分析下的安全性。

关键词：轻量级密码算法分离路径 MILP 线性逼近零相关线性逼近