可证明安全相关论文