书目详细信息 : 密码协议实现的逻辑安全分析与设计