网络与TCP/IP协议

本书内容涵盖了计算机网络和TCP／IP协议的基本概念、原理、技术、应用以及下一代网络的核心IPv6技术，反映了计算机网络技术的最新发展情况。...

安全协议的建模与分析：CSP方式

本书介绍了安全协议的一种建模与分析方法。

电脑加密解密、系统安全与故障排除终极解析

随着网络的普及，电脑在安全性方面受到了越来越大的威胁，安全日益成为用户非常关心的问题。本书从普通用户最关心的安全问题入手，以理论结合实际的方法讲述如何保证用户电脑安全稳定的运行。具体包括电脑系统和...

无线传感器网络MAC协议分析与实现

安全协议分析与设计

本书系统地介绍了安全协议（主要是认证协议和密钥建立协议）的基本概念、攻击方法、分析方法和设计方法。本书可作为信息安全、数学、计算机、通信专业的研究生和本科生教材，也可作为相关专业的研究人员和工程技...

网络安全基础 网络攻防、协议与安全

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

网络与信息安全前沿技术丛书 安全协议设计与分析

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

网络安全基础 网络攻防协议与安全

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

安全协议模型与设计

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

电子商务网络协议的形式化分析理论与应用