可证明安全性理论与方法的研究.pdfVIP

1000-9825/2005/16(10)1743 ©2005 Journal of Software 软 件 学 报 Vol.16, No.10 ∗ 可证明安全性理论与方法研究 冯登国+ (信息安全国家重点实验室( 中国科学院 软件研究所),北京 100080) Research on Theory and Approach of Provable Security FENG Deng-Guo+ (State Key Laboratory of Information Security (Institute of Software, The Chinese Academy of Sciences), Beijing 100080, China) + Corresponding author: Phn: +86-10 Fax: +86-10 E-mail: fdg@263.net, Received 2004-07-06; Accepted 2005-08-24 Feng DG. Research on th