可证明安全公钥密码方案的设计与分析