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

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