标准模型下EIGamal加密体制的自动化安全性证明

摘要：

可证明安全是目前分析密码协议安全性的一种重要方法,利用计算机技术实现安全性的自动化分析是目前的一个研究热点。本文在前人工作的基础上,设计了一个适用于更多密码协议的安全性证明的自动化证明工具。对原始ElGamal加密体制进行改进,并利用自动化证明工具,实现了其在标准模型下安全性的自动化证明。

关键词： 可证明安全 自动化证明 标准模型 EIGamal加密体制

作者: 陈楠 顾纯祥 祝跃飞

作者单位: 信息工程大学信息工程学院 郑州 450002

会议类型: 国内会议

会议名称: 2010国际信息技术与应用论坛

会议地点: 昆明

会议语种:中文

页码: 151-153

在线出版日期: 2010-07-16（万方平台首次上网日期，不代表论文的发表时间）