信息工程大学学报2010，Vol.11Issue(4)：472-476,492,6.
公钥加密体制自动化安全性证明方法研究
Research on Automated Security Proof of Public-Key Encryption Scheme
摘要
关键词
可证明安全/自动化/攻击游戏/ElGamal加密体制分类
信息技术与安全科学引用本文复制引用
陈楠,李安乐,祝跃飞,顾纯祥..公钥加密体制自动化安全性证明方法研究[J].信息工程大学学报,2010,11(4):472-476,492,6.基金项目
国家863计划资助项目(2007AA01Z471) （2007AA01Z471）
