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

1000-9825/2005/16(10)1743©2005 Journal of Software 软 件 学 报可证明安全性理论与方法研究Vol.16, No.10∗冯登国 +(信息安全国家重点实