计算机科学与探索2011，Vol.38Issue(10)：100-102,144,4.
面向计时攻击的形式化分析
Formal Approaches for Analyzing Timing Attacks
王寅龙 1赵强 1林克成 1李志祥 1王希武 1邓高明1
作者信息
摘要
Abstract
The side-channel attacks take advantage of physical characteristics leaking from side channel of implementation in cipher device to recover the key or other secret parameters involved in the computation running in the cipher device, which blazes a new path distinct from conventional cryptanalysis methods. Equivalence relation and equivalence class were adopted in formal qualitative analysis against timing attacks,one type of side-channel attacks. The method of measurement in information entropy was adopted in quantitative evaluation on timing-attack ability. Formal analysis was conducted on timing attacks against RSA binary modular exponentiation algorithm, indicating that formal analysis on timing attacks could make the attack procedure intuitive and accurate, thus providing valuable reference for formal description of other side channel attack approaches.关键词
密码分析/计时攻击/形式化表达Key words
Cryptanalysis,Timing attacks,Formal approaches分类
信息技术与安全科学引用本文复制引用
王寅龙,赵强,林克成,李志祥,王希武,邓高明..面向计时攻击的形式化分析[J].计算机科学与探索,2011,38(10):100-102,144,4.
