安全协议相关电子书下载

刘天华，朱宏峰著2012 年出版209 页ISBN：9787030343260

本书紧紧围绕解决安全协议中针对不同服务环境的设计思想、设计方法、所采用的模型以及折中效率与安全等实际问题，并给出安全性证明、通信量和计算量等参数的横向对比结果，使读者对安全协议领域的研究有深刻的...

黄河编著2008 年出版389 页ISBN：9787302180579

本书以TCP/IP网络安全协议为核心，全面、系统地论述计算机网络安全的协议、技术与应用等问题。

王聪，刘军主编2011 年出版303 页ISBN：9787563526727

本书内容包括安全协议基本原理介绍、安全性分析以及密码学基础；2、安全协议原理，内容包括安全协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的安全协议；3、安全协议的分析与验证方法，内容包括BA...

范红，冯登国编著2003 年出版421 页ISBN：7030122771

本书共12章，系统介绍了当前计算机网络安全协议的理论和方法。主要包括安全协议的基本概念，缺陷以及可能受到的攻击类型，基于推理结构性方法，基于攻击结构性方法，基于证明结构性方法，安全协议分析的形式化接口，......

凌力编著2012 年出版280 页ISBN：9787302289401

本书介绍计算机硬件知识，包括计算机系统概论，计算机数据表示，运算方法和运算器，中央处理器，指令系统，存储器及存储系统，输入输出系统及新一代计算机的体系结构。...

（美）雅各布森著2011 年出版294 页ISBN：9787121129742

本书从网络攻防、协议与安全解决方案的角度阐述网络安全，把网络看成安全与不安全的源头。全书共分为四部分，第一部分讨论网络概念与威胁的入门知识，分别介绍了网络体系结构、网络协议、互联网和网络漏洞的分类...

刘忆宁著2015 年出版94 页ISBN：9787560636986

为了保障数据的安全性和可靠性，提高信息系统的效率，信息安全协议相关的研究得到了前所未有的重视，这既是机遇又是挑战。本书研究的安全协议包括：安全群组通信、微支付协议、电子彩票协议、互联网彩票协议、电子...

（美）DOUGLASJACOBSON著；仰礼友，李红宇译2016 年出版288 页ISBN：9787121285349

张爱新，李建华著2010 年出版214 页ISBN：9787111297260

本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。

张文政等编著2015 年出版202 页ISBN：9787118103397

本书系统介绍了安全协议分析的理论方法，给出了安全协议目前的最新结果，如”安全协议工程原则”，”可证明安全协议分析方法”及”RFID安全分析技术”等，这些内容给出了目前可用于安全协议分析的国际前沿方法。本...