基本信息
编辑推荐
POD产品说明：
1. 本产品为按需印刷（POD）图书，实行先付款，后印刷的流程。您在页面购买且完成支付后，订单转交出版社。出版社根据您的订单采用数字印刷的方式，单独为您印制该图书，属于定制产品。
2. 按需印刷的图书装帧均为平装书（含原为精装的图书）。由于印刷工艺、彩墨的批次不同，颜色会与老版本略有差异，但通常会比老版本的颜色更准确。原书内容含彩图的，统一变成黑白图，原书含光盘的，统一无法提供光盘。
3. 按需印刷的图书制作成本高于传统的单本成本，因此售价高于原书定价。
4. 按需印刷的图书，出版社生产周期一般为15个工作日（特殊情况除外）。请您耐心等待。
5. 按需印刷的图书，属于定制产品，不可取消订单，无质量问题不支持退货。
内容简介
书籍
计算机书籍
《密码协议分析的逻辑方法》对密码协议分析的逻辑方法进行了系统详尽和深入的介绍，全书共四部分，第一部分是理论基础，第二部分是密码协议分析概述，第三部分介绍密码协议逻辑，第四部分介绍计算可靠的密码协议逻辑。
《密码协议分析的逻辑方法》的内容包括密码协议分析相关数理逻辑和现代密码学理论的基础知识、密码协议分析的主要方法综述、各种密码协议逻辑、协议分析实例以及密码协议逻辑分析方法的计算可靠性等。内容涵盖了所有迄今为止重要的密码协议分析逻辑系统，其中包括作者在密码协议分析方面的工作。
《密码协议分析的逻辑方法》的读者对象为信息安全专业高年级本科生及研究生，也可供从事信息安全专业的教学、科研人员和工程技术人员参考。
计算机书籍
《密码协议分析的逻辑方法》对密码协议分析的逻辑方法进行了系统详尽和深入的介绍，全书共四部分，第一部分是理论基础，第二部分是密码协议分析概述，第三部分介绍密码协议逻辑，第四部分介绍计算可靠的密码协议逻辑。
《密码协议分析的逻辑方法》的内容包括密码协议分析相关数理逻辑和现代密码学理论的基础知识、密码协议分析的主要方法综述、各种密码协议逻辑、协议分析实例以及密码协议逻辑分析方法的计算可靠性等。内容涵盖了所有迄今为止重要的密码协议分析逻辑系统，其中包括作者在密码协议分析方面的工作。
《密码协议分析的逻辑方法》的读者对象为信息安全专业高年级本科生及研究生，也可供从事信息安全专业的教学、科研人员和工程技术人员参考。
目录
《密码协议分析的逻辑方法》
前言
第一部分理论基础
第1章数理逻辑基础
1.1基本概念
1.2命题逻辑
1.3谓词逻辑
1.4模态逻辑
1.5 Hoare逻辑
1.6本章小结
参考文献
第2章现代密码学基础
2.1概述
2.2计算复杂性
2.3计算安全
2.4私钥加密
2.5公钥加密
2.6数字签名
2.7安全性证明
2.8本章小结
前言
第一部分理论基础
第1章数理逻辑基础
1.1基本概念
1.2命题逻辑
1.3谓词逻辑
1.4模态逻辑
1.5 Hoare逻辑
1.6本章小结
参考文献
第2章现代密码学基础
2.1概述
2.2计算复杂性
2.3计算安全
2.4私钥加密
2.5公钥加密
2.6数字签名
2.7安全性证明
2.8本章小结
