可证明安全模型相关论文