对SM4算法的改进差分故障攻击

来源 :密码学报 | 被引量 : 1次 | 上传用户：ivb

【摘要】

：

SM4算法是国内首个官方公布的商用密码算法.本文研究SM4密码算法在差分故障攻击方向的安全性.在现有故障模型的基础上,针对现有故障注入能力已提高至比特级别的现状,提出面向比特的随机故障模型.理论上,本攻击模型通过1次单比特故障注入,结合平均15.3526比特的穷举攻击,就可以完全恢复出SM4的128比特初始密钥.由于SM4算法S盒的差分均匀度为4,也即存在四个解的差分方程,因此实际攻击时穷举攻击的

【作者】

：

金雨璇杨宏志王相宾袁庆军

【机构】

：

战略支援部队信息工程大学,郑州 450000河南省网络密码技术重点实验室,郑州 450000;深圳网安计算机安全检测技术有限公司,深圳 518028;

【出处】

：

密码学报

【发表日期】

：

2020年04期

【关键词】

：

SM4算法差分故障攻击单比特故障故障模型

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

东元:以聚焦求突破r—— 对话江西东成空调设备有限公司营销总监刘永铭

中国中央空调市场看似庞大诱人,实则险象环生,各大品牌在发展过程中纷纷各出奇招,竞争日益激烈.在这种情况下,东元空调认为与其在各大品牌集中发力的领域与虎争食,不如聚焦自

期刊

解密高效机房系统

1 综述rn2019年6月,国家发展改革委、工业和信息化部、生态环境部、国管局等7部门联合印发了《绿色高效制冷行动方案》.方案中明确指出,“到2022年,家用空调、多联机等制冷产

期刊

一种高效的无证书认证密钥交换协议

无证书认证密钥交换解决在无证书环境下进行带认证的密钥协商问题,现有方案的设计引入较复杂的协议结构和冗余的计算以保证可证明安全性,这制约了协议运行的效率及优化.针对于此,本文提出一种高效的无证书认证密钥交换协议,该协议在确保安全性的前提下,避免在会话密钥计算中引入冗余的临时-长期信息纠缠.这使得协议双方可预计算出会话密钥的部分信息,从而优化协议运行效率.该协议不依赖双线性配对,在随机预言机模型下可证

期刊

无证书公钥密码学认证密钥交换可证明安全性

利用K-Means LSH加速求解格中的最短向量问题

2015年Laarhoven将位置敏感哈希(LSH)引入筛法,得到了基于LSH的高斯筛法框架,用以解决格上最短向量问题(SVP).本文利用该框架,通过引入由机器学习中经典的K-Means聚类算法衍生的K-Means LSH函数,对算法进行优化.实验验证了这种LSH具有很好的性能,优化后的筛法具有很好的效率.与Laarhoven的筛法对比,我们的算法由于多引入一个参数而具有更好的灵活性与实用价值.

期刊

SVP问题GaussSieveLSH

基于XOR门加密的抗控制流攻击方法

控制流攻击是利用软件漏洞去劫持程序的执行流向,并将其导向预定的恶意代码或可以组成恶意代码的指令片段的一种恶性攻击方式.本文通过对控制流攻击原理的研究,提出一种基于XOR门加密抗控制流攻击方法.该方法首先在执行程序调用指令call时,利用XOR加密电路对返回地址进行加密.其次将加密后的返回地址压入堆栈和内置安全寄存器组,然后当执行程序返回指令ret时,堆栈和内置安全寄存器组中的加密返回地址经过XOR

期刊

控制流攻击XOR门加密安全寄存器组信息安全

对SM4算法的改进差分故障攻击

其他学术论文