智能卡中抗能量分析攻击算法研究.pdf

Research on Algorithms to Resist Power Analysis Attacks for Smart Cards A Thesis Submitted to Chongqing University in Partial Fulfillment of the Requirement for the Docter ’s Degree of Engineering By Daigu Zhang Supervised by Prof. Xiaofeng Liao Specialty: Computer Science and Technology College of Computer Science of Chongqing University, Chongqing, China September 2013 中文摘要 摘 要 近年来，智能卡在诸如金融、交通、军事、通信等很多领域应用变得日益广 泛，智能卡在这些领域中也扮演着举足轻重的角色。而与此同时，针对智能卡的 攻击也越来越频繁，因此，智能卡的安全问题变得尤为重要。智能卡很容易遭受 到一些侧信道攻击，例如能量分析攻击。其中最主要包括简单能量分析攻击和差 分能量分析攻击。因此，本论文针对智能卡中抗能量分析攻击的方法展开了研究， 提出了通过随机执行和动态电压调节等手段的具体算法。 本论文涉及到如下内容： ① 将抗能量分析攻击的研究对象，从以前的智能卡系统中一个具体加密应 用，例如，DES 、RSA 等具体加密算法，抽象为一个更加通用的研究对象——数 据流图。将加密算法中的一条执行指令对应于数据流图中的一个任务节点。以数 据流图为研究对象，对其中的任务节点进行随机执行或者动态电压调节等操作， 从而实现新算法对加密应用的普适性。在抗能量分析攻击方面，提出的新算法不 是仅适应于具体的一个加密应用，而是适应于所有的加密算法。 ② 提出了多种抗能量分析攻击的随机执行新算法。从一个新的角度来解决随 机执行问题，将加密程序中的循环代码段作为一个新的研究对象。在循环代码段 中，运用指令调度技术实现加密程序的随机执行。随机执行算法中，引入了空指 令的概念，并对空指令进行条件执行，或者在数据流图中添加独立空指令，或者 对某些特有的任务节点分配绑定空指令，利用一个循环控制器对每一步执行的指 令进行随机控制。新的随机执行算法在降低能量消耗轨迹均方差方面有显著效果， 因而能很好的抵抗能量分析攻击。 ③ 提出了三个抗能量分析攻击的动态电压调节算法。利用动态电压调节技 术，对能量消耗轨迹中，能耗相对较高的任务节点和能耗相对较低的任务节点进 行电压调节处理。吸取了以往动态电压调节对任务节点降压处理从而实现节能的 优点，同时又逆向思维，对一些特殊任务节点采取升压处理，通过双向动态电压 调节将升压和降压处理相结合，在一定程度上实现了对系统总能耗与总运行时间 的相对平衡。很好地将智能卡中应用程序的能量消耗轨迹拉平，从而提升能量分 析攻击的难度。 ④ 实验选取 Mibench 中的十个基准测试单元，并将提出的算法在它们之上 一一地实现。从Mibench 中挑选出的基准测试样本，使用GNU ARM-elf 交叉编 译器将它们编译成ARM-elf 可执行文件，并最终在模拟实验平台ARM Developer Suite v1.2 上完成我们的实验。实验的处理器模型为ARM7TMDMI 核，能量测试 I 重庆大学博士学位论文 平台为Sim-Wattch 。最终实验结果从均方差、信息熵等指标衡量了新算法在抗能 量分析攻击上的实际效果。并且从系统的能耗与运行时间方面分析了系统的额外 开销。实验结果表明：本论文中提出的算法能很好的使能量消耗轨迹分布更均匀， 从而使智能卡能更好地抵抗能量分析攻击。 关键