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

摘要

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