对一种白盒SM4方案的差分计算分析

作     者：原梓清 陈杰 YUAN Zi-Qing;CHEN Jie

作者机构：综合业务网理论及关键技术国家重点实验室(西安电子科技大学)陕西西安710071 广西密码学与信息安全重点实验室(桂林电子科技大学)广西桂林541004 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2023年第34卷第8期

页      面：3891-3904页

核心收录：

学科分类：08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：“十三五”国家密码发展基金(MMJJ20180219) 陕西省自然科学基础研究计划(2021JM-126) 广西密码学与信息安全重点实验室研究课题(GCIS202125)。 

主　　题：白盒密码 白盒实现 SM4算法 旁信道分析 差分计算分析 

摘      要：传统密码算法的安全性建立在黑盒攻击模型下.在这种攻击模型下,攻击者只能获取密码算法的输入输出,而无法得知密码算法运行时的内部细节.近年来白盒攻击模型的概念被提出.在白盒攻击模型下,攻击者既可以获取密码算法的输入输出,也可以直接观测或更改密码算法运行时的内部数据.为保证已有密码算法在白盒攻击环境下的安全性,在不改变其功能的基础上通过白盒密码技术对其进行重新设计被称为已有密码算法的白盒实现.研究白盒实现方案的设计与分析对于解决数字版权管理问题具有重要意义.近年来,出现了一类针对白盒实现方案的旁信道分析方法.这类分析手段只需要知道很少白盒实现方案的内部细节,却可以提取到密钥,因此是一类对现有白盒实现方案具有实际威胁的分析手段.对现有白盒实现方案进行此类分析对于确保方案安全性具有重要现实意义.此类分析方法中的典型代表是基于差分功耗分析原理的差分计算分析.基于差分计算分析,对白-武白盒SM4方案进行了安全性分析.基于对GF(2)上n阶均匀随机可逆矩阵统计特征的研究结果,提出了一种改进型差分计算分析(IDCA),可以在分析成功率几乎不变的前提下显著提升分析效率.结果表明,白-武白盒SM4方案在面对差分计算分析时不能保证安全性,必须对其进行进一步改进使之满足实际应用场景下的安全性需求.