书目详细信息 : 密码协议分析的逻辑方法