大约有20,000项符合查询结果项。(搜索耗时:0.0144秒)
为您推荐: 网络协议的形式化分析与设计 列车运行安全行为建模与形式化技术研究 网络协议 分析 设计与仿真 安全协议与形式化方法国科大 维修性设计分析与验证 保证正版 网络安全协议 原理 结构与应用
-
安全协议实施自动化生成与验证
孟博,王德军著2016 年出版318 页ISBN:9787030508676本书共分五篇15章。系统地全面介绍了安全协议实施生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议协议规范形式化分析与验证技术、安全协议实施的生成与验证技术及其国内外发展现状、应用...
-
网络安全基础 网络攻防协议与安全
(美)DOUGLASJACOBSON著;仰礼友,李红宇译2016 年出版288 页ISBN:9787121285349本书从网络攻防、协议与安全解决方案的角度阐述网络安全,把网络看成安全与不安全的源头。全书共分为四部分,第一部分讨论网络概念与威胁的入门知识,分别介绍了网络体系结构、网络协议、互联网和网络漏洞的分类...
-
-
-
网络安全协议 原理结构与应用 第2版
寇晓蕤,王清贤著2016 年出版396 页ISBN:9787040442052本书包括三个分支:存储安全、传输安全以及内容安全。本书关注传输安全,即利用网络安全协议保障信息安全。本书定义网络安全协议为基于密码学的通信协议。抛开底层密码学的细节,本书站在密码技术应用者的角度,讨...
-
-
-
意义的形式 建模系统理论与符号学分析
(美)托马斯·A.西比奥克(THOMASA.SEBEOK),(加)马塞尔·德尼西(MARCELDANESI)著;余红兵译2016 年出版220 页ISBN:9787561493588本书所提供的是一种从生物符号学领域发展出来的方法论框架,它将符号现象作为建模的过程来研究。作者为人们呈现了一个将符号学与生物学相结合的描述体系,可以用来研究不同物种所体现的“建模本能”。本书以通...
-
网络安全协议综合实验教程
杨浩淼,李洪伟,冉鹏编著2016 年出版110 页ISBN:9787302424963本书作为信息安全方面的一本实验教材,讲述了信息安全方面一些最基本的实验内容。这些实验包括:第1章 VMware虚拟网络的构建,第2章IPSec基础实验,第3章SSL基础实验,第4章缓冲区溢出攻击初级实验,第5章 Radius基础...
-
现代密码学 基于安全多方计算协议的研究
孙茂华著2016 年出版139 页ISBN:9787121299957全书分为三大部分,数学基础、密码学协议及其原理、密码学应用平台。其中,第一部分数学基础主要阐述密码学协议中常用的数学理论;第二部分是本书的重点内容,以上世纪80年代后提出的密码学协议为重点,对协议的原理...
