基于进程演算的公钥密码体制安全性自动化证明系统

作     者：光焱 顾纯祥 黄莉 赵双峰 GUANG Yan;GU Chun-xiang;HUANG Li;ZHAO Shuang-feng

作者机构：信息工程大学网络空间安全学院河南郑州450001 信息工程大学科研部河南郑州450001 沈阳军区指挥自动化工作站辽宁沈阳110000 

基　　金：国家863计划资助项目(2007AA01Z471) 

出 版 物：《信息工程大学学报》 (Journal of Information Engineering University)

年 卷 期：2012年第13卷第5期

页      码：513-520页

摘      要：可证安全是一种通过严格证明确保密码体制安全性的形式化方法,但由于其证明结论严重依赖于证明者个人的经验和技巧,这一方法本身的可靠性受到了质疑。文章设计并实现了一套公钥密码体制安全性自动化证明系统,使用一种概率多项式时间进程演算描述可证安全模型,借助进程间的互模拟等价关系和进程约减实现基于游戏的可证安全自动化证明。系统在C语言环境下实现,已完成ElGamal加密体制和FDH签名体制在内的一系列密码体制的安全性证明测试。

主 题 词：公钥密码体制 可证安全 进程演算 基于游戏的证明方法 

学科分类：08[工学] 0839[0839] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1671-0673.2012.05.001

馆 藏 号：203465663...