书目详细信息 : 可证明安全理论及方法:密码算法