| 基于进程演算的公钥密码体制安全性自动化证明系统 |
| |
| 引用本文： | 光 焱,顾纯祥,黄 莉,赵双峰. 基于进程演算的公钥密码体制安全性自动化证明系统[J]. 信息工程大学学报, 2012, 13(5): 513-520 |
| |
| 作者姓名： | 光 焱 顾纯祥 黄 莉 赵双峰 |
| |
| 作者单位： | [1]信息工程大学网络空间安全学院,河南郑州450001 [2]信息工程大学科研部,河南郑州450001 [3]沈阳军区指挥自动化工作站,辽宁沈阳110000 |
| |
| 基金项目： | 国家863计划资助项目（2007AA012471） |
| |
| 摘 要： | 可证安全是一种通过严格证明确保密码体制安全性的形式化方法,但由于其证明结论严重依赖于证明者个人的经验和技巧,这一方法本身的可靠性受到了质疑。文章设计并实现了一套公钥密码体制安全性自动化证明系统,使用一种概率多项式时间进程演算描述可证安全模型,借助进程间的互模拟等价关系和进程约减实现基于游戏的可证安全自动化证明。系统在C语言环境下实现,已完成ElGamal加密体制和FDH签名体制在内的一系列密码体制的安全性证明测试。
|
| 关 键 词： | 公钥密码体制 可证安全 进程演算 基于游戏的证明方法 |
Automatic Security Proving System for Public-Key Cryptosystems Based on Process Calculus |
| |
| GUANG Yan,GU Chun-xiang,HUANG Li,ZHAO Shuang-feng. Automatic Security Proving System for Public-Key Cryptosystems Based on Process Calculus[J]. , 2012, 13(5): 513-520 |
| |
| Authors: | GUANG Yan GU Chun-xiang HUANG Li ZHAO Shuang-feng |
| |
| Affiliation: | 1. Institute of Cyberspaee Security, Information Engineering University, Zhengzhou 450001, China ; 2. Office of Scientific Research, Information Engineering University, Zhengzhou 450001, China; 3. Automated Commanding Station,Shenyang Military Region, Shenyang 110000, China) |
| |
| Abstract: | Provable security is a formal method which ensures the security of public-key cryptosys- tems through rigorous proof. However, there is doubt on its reliability since the conclusions depend heavily on the experiences and skills of the method practitioner. In this paper an automatic security proving system for public-key cryptosystems is presented. The system uses a probabilistic polynomi- al-time process calculus to describe the provable security model, and performs automatic game-based proof according to the bi-simulation equivalence and reduction on process. The system has been implemented in C language and tested on a number of examples including Elgamal encryption and FDH signature scheme. |
| |
| Keywords: | public-key cryptosystem provable security process calculus game-based proof |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《信息工程大学学报》浏览原始摘要信息 |
|
点击此处可从《信息工程大学学报》下载免费的PDF全文 |
|
