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

• Research on Theory and Approach of Provable Security