安全协议与形式化方法国科大百度云网盘PDF下载

当前位置：首页 > 名称

图书搜索：

出版时间：

至

大约有464,621项符合查询结果项。（搜索耗时：0.5647秒）

安全协议分析与设计

查看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安全分析技术”等，这些内容给出了目前可用于安全协议分析的国际前沿方法。本...
网络协议与网络安全第2版

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

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

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

查看PDF目录购买本书
任伟编著2015 年出版155 页ISBN：9787302397465
本书提供对数字签名，安全协议的全面介绍，高级部分介绍了可证明安全性。本书的特点是分类清晰合理，逻辑性强。注重介绍知识的内在逻辑性，还原各个知识点发展的过程，旨在展现密码学方案设计的内在规律和基本原理，.....
网络安全协议分析与案例实践

查看PDF目录购买本书
赖英旭，田果，刘静等编著2015 年出版132 页ISBN：9787302422686
本书比较全面地介绍了网络安全协议的关键技术和相关实验配置。特别对vpn列举了比较深入的实际应用。使学生了解网络安全协议的基本知识，掌握网络安全协议的基本概念和应用方法。使学生在已有的网络知识的基...