可证明安全算法与协议百度云网盘PDF下载

当前位置：首页 > 名称

图书搜索：

出版时间：

至

大约有443,715项符合查询结果项。（搜索耗时：0.4546秒）

安全协议分析与设计

查看PDF目录购买本书
卫剑钒，陈钟编著2010 年出版156 页ISBN：9787115220028
本书系统地介绍了安全协议（主要是认证协议和密钥建立协议）的基本概念、攻击方法、分析方法和设计方法。本书可作为信息安全、数学、计算机、通信专业的研究生和本科生教材，也可作为相关专业的研究人员和工程技...
安全协议模型与设计

查看PDF目录购买本书
刘天华，朱宏峰著2012 年出版209 页ISBN：9787030343260
本书紧紧围绕解决安全协议中针对不同服务环境的设计思想、设计方法、所采用的模型以及折中效率与安全等实际问题，并给出安全性证明、通信量和计算量等参数的横向对比结果，使读者对安全协议领域的研究有深刻的...
计算机网络安全协议、技术与应用

查看PDF目录购买本书
黄河编著2008 年出版389 页ISBN：9787302180579
本书以TCP/IP网络安全协议为核心，全面、系统地论述计算机网络安全的协议、技术与应用等问题。
安全协议原理与验证

查看PDF目录购买本书
王聪，刘军主编2011 年出版303 页ISBN：9787563526727
本书内容包括安全协议基本原理介绍、安全性分析以及密码学基础；2、安全协议原理，内容包括安全协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的安全协议；3、安全协议的分析与验证方法，内容包括BA...
网络与信息安全前沿技术丛书安全协议设计与分析

查看PDF目录购买本书
张文政等编著2015 年出版202 页ISBN：9787118103397
本书系统介绍了安全协议分析的理论方法，给出了安全协议目前的最新结果，如”安全协议工程原则”，”可证明安全协议分析方法”及”RFID安全分析技术”等，这些内容给出了目前可用于安全协议分析的国际前沿方法。本...
安全协议理论与方法

查看PDF目录购买本书
范红，冯登国编著2003 年出版421 页ISBN：7030122771
本书共12章，系统介绍了当前计算机网络安全协议的理论和方法。主要包括安全协议的基本概念，缺陷以及可能受到的攻击类型，基于推理结构性方法，基于攻击结构性方法，基于证明结构性方法，安全协议分析的形式化接口，......
网络协议与网络安全第2版

查看PDF目录购买本书
凌力编著2012 年出版280 页ISBN：9787302289401
本书介绍计算机硬件知识，包括计算机系统概论，计算机数据表示，运算方法和运算器，中央处理器，指令系统，存储器及存储系统，输入输出系统及新一代计算机的体系结构。...
网络安全协议的形式化分析与验证

查看PDF目录购买本书
张爱新，李建华著2010 年出版214 页ISBN：9787111297260
本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。
网络安全基础网络攻防、协议与安全

查看PDF目录购买本书
（美）雅各布森著2011 年出版294 页ISBN：9787121129742
本书从网络攻防、协议与安全解决方案的角度阐述网络安全，把网络看成安全与不安全的源头。全书共分为四部分，第一部分讨论网络概念与威胁的入门知识，分别介绍了网络体系结构、网络协议、互联网和网络漏洞的分类...
网络安全基础网络攻防协议与安全

查看PDF目录购买本书
（美）DOUGLASJACOBSON著；仰礼友，李红宇译2016 年出版288 页ISBN：9787121285349
本书从网络攻防、协议与安全解决方案的角度阐述网络安全，把网络看成安全与不安全的源头。全书共分为四部分，第一部分讨论网络概念与威胁的入门知识，分别介绍了网络体系结构、网络协议、互联网和网络漏洞的分类...