《密码协议分析的逻辑方法》978-7-03-037096-9.pdf-雷新锋著-电子书下载-云上书馆

下载本书 下载格式： pdf格式 epub格式 接收邮箱(本功能测试中)： 分享给好友: 密码协议分析的逻辑方法; 作者：雷新锋著; 出版社：科学出版社; ISBN：978-7-03-037096-9; 出版年：2013

密码协议分析的逻辑方法简介

本书的内容包括密码协议分析相关数理逻辑和现代密码学理论的基础知识、密码协议分析的主要方法综述、各种密码协议逻辑、协议分析实例以及密码协议逻辑分析方法的计算可靠性等。内容涵盖了所有迄今为止重要的密码协议分析逻辑系统，其中包括作者在密码协议分析方面的工作。

密码协议分析的逻辑方法电子版图书下载地址：