抗密钥篡改可证明安全公钥密码算法研究

项目名称： 抗密钥篡改可证明安全公钥密码算法研究

项目编号： No.61502400

项目类型： 青年科学基金项目

立项/批准年度： 2016

项目学科： 自动化技术、计算机技术

项目作者： 秦宝东

作者单位： 西南科技大学

项目金额： 20万元

中文摘要： 密钥篡改是一种有效的针对密码方案硬件实现过程进行的物理攻击方法。它通过改变芯片使用的电压或依赖的温度环境等方式，篡改存储器中的密钥并获取密码设备在这些故障下的输出结果。这对传统意义上的可证明安全性构成严重的威胁。本项目从理论和算法层面研究抵御密钥篡改攻击的有效方法和设计规律。具体内容包括：针对实际应用中的篡改攻击技术，优化两种已知的密钥篡改攻击模型并探讨不同模型之间以及不同密码原语之间的转化机制；研究抵抗密钥篡改攻击的公钥密码方案的设计方法；系统地构建密钥篡改环境下安全性证明理论。本项目旨在发现合理的抵抗密钥篡改攻击的方法，为保护密码芯片产品的安全性奠定理论和技术基础。

中文关键词： 密钥篡改；相关密钥攻击；公钥密码系统；可证明安全性

英文摘要： Key tampering is an efficient attack that can occur through physical interference with a device implementing cryptography. It may tamper with the key stored in memory through techniques such as exposing a chip to unusual voltages or temperatures, and subsequently observes the outcome of the cryptographic primitive under this modified key. This may threat the security of traditional cryptographic notions since they assume that an adversary has only “black-box” access to the system. This project researches on efficient methods that can protect against key tampering attacks. Specifically, we focus on the following three aspects. Firstly, according to the techniques of key tempering in real life, we will improve two security models known for key tampering attacks, and build transformation mechanism between them and transformation mechanism among cryptographic primitives. Then, we will study how to design public-key cryptosystems that are secure against key tampering attacks. Finally, we will focus on building a comprehensive theory of provable security in the scenario of key tampering attacks. The research achievements will establish theoretical and technical foundation for protecting security of cryptographic devices.

英文关键词： Key Tampering;Related-Key Attacks;Public-Key Cryptosystems;Provable Security