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

• 作者: 李志祥 林克成 王寅龙 王希武 赵强 邓高明
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 密码分析 计时攻击 形式化表达
• 年，卷（期）: 2011,（10）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 100-102,144
• 分类号: TP301
• 字数: 5979字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵强	军械工程学院五系	70	443	11.0	15.0
2	王希武	军械工程学院五系	50	153	6.0	9.0
3	林克成	军械工程学院五系	23	66	5.0	6.0
4	王寅龙	军械工程学院五系	44	176	7.0	11.0
5	邓高明	军械工程学院五系	31	218	10.0	12.0
6	李志祥	军械工程学院五系	24	64	5.0	6.0