面向计时攻击的形式化分析

作者：王寅龙; 赵强; 林克成; 李志祥; 王希武; 邓高明

来源：计算机科学, 2011, (10): 100-102+144.

• 密码分析
• 计时攻击
• 形式化表达 Cryptanalysis,Timing attacks,Formal approaches

旁路攻击方法从密码算法在密码设备上实现时所泄漏出来的旁路物理信号入手进行分析,从中萃取出密码系统的秘密信息甚至密钥,开辟了与传统密码分析方法迥然不同的新方向。采用等价关系和等价类划分的方法对旁路攻击中计时攻击进行形式化定性分析,结合信息熵度量方式对计时攻击者能力进行定量评价,通过对面向RSA二进制模幂运算进行计时攻击的形式化分析实例表明,形式化分析计时攻击过程的手段使得攻击过程更为直观、确切,为其它的旁路攻击方法的形式化描述提供了有价值的参考。

• 单位
  中国人民解放军陆军工程大学