项目名称: 组合噪音情况下的IC卡芯片侧信道分析及相关理论研究
项目编号: No.61202493
项目类型: 青年科学基金项目
立项/批准年度: 2013
项目学科: 计算机科学学科
项目作者: 石竑松
作者单位: 中国信息安全测评中心
项目金额: 23万元
中文摘要: 随着侧信道分析技术的发展,IC卡芯片作为智能卡应用的基础安全平台将面临越来越严格的安全考验。为此,现有的IC卡芯片大都加载了安全防护措施以抵抗常见的侧信道分析。常用的侧信道分析方法往往只针对某种特定的防护措施,虽然可用于论证只含单项防护措施的芯片安全,但并不适用于加载了多种安全措施这样的实际情况。本课题将围绕此问题展开研究。一方面,将研究包含多种防护措施的IC卡芯片侧信道分析方法,主要从组合噪音消除、总线模板分析、侧信道综合利用以及随机性侧信道分析等多个角度展开。另一方面,为论证IC卡芯片的安全性可得到进一步提高,将研究如何在一些合理的假定下(如有界泄露猜想)为总线安全数据传输设计能抵抗各种SCA攻击的可证安全算法。最后,将研究侧信道攻击下的安全强度评估方法,提出从信息论角度通过计算芯片的信噪比、密钥剩余熵及互信息等来刻画芯片的安全级别,以提高评估结论的可信度。
中文关键词: 侧信道分析;安全评估;密码分析;格分析;随机数发生器
英文摘要: As the fundamental platform of secure applications of smart cards, IC chips are facing increasing security challenges as the recent progress of side channel attacks. For that, most of the existing IC chips are involving secure countermeasures to resist commonly known side channel attacks (SCAs). However, these SCAs are only effective to some specific countermeasure, though usually used in demonstrating IC chips with single countermeasure, possibly invalid in argueing the actual security strength of IC chips with multiple countermeasures. That is the core problem we are trying to solve in this proposal. Firstly, we focus on developing powerful techniques to evaluate the side channel resistance of IC chips with multiple countermeasures. This will be conducted from the points of combinatorial noise reduction, template attacks over bus, multiple side channels integration and random number generator analysis. Secondly, to demonstrate the security strength of IC chips could be improved by careful design, we will construct provably secure protocols for bus message transmission against all types of SCAs (under some reasonable assumptions, e.g., bounded leakage model). Finally, a rigorous evaluation methodology of SCAs, by virtual of signal-noise ratio, residual entropy and mutual information such as information theoreti
英文关键词: side channel analysis;security evaluation;cryptoanalysis;Lattice analysis;random number generator