会议论文《标准模型下EIGamal加密体制的自动化安全性证明》发表于2010年国际信息技术与应用论坛。该文针对EIGamal加密系统，在标准模型下提出了自动化安全性证明方法，通过形式化验证技术确保其抗攻击性。研究有助于提升公钥密码体系的安全性评估效率，为后续密码协议设计提供理论支持。
文档为pdf格式，0.17MB，总共3页。
举报
