可证明安全理论相关论文