安全协议形式化分析与验证

安全协议理论与方法

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

网络安全协议的形式化分析与验证

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

网络协议与网络安全

本书介绍网络协议与网络安全的相关内容。

安全协议实施安全性自动化分析与验证

网络安全加密原理、算法与协议

安全协议 理论与实践

本书共分16章，系统地介绍安全协议的基本理论、关键技术以及典型应用和实践。主要包括密码算法基础知识、可证明安全性、形式化、混合、零知识证明、安全多方计算等基础理论和方法。...

网络安全协议理论与技术

本书主要介绍Internet协议及其基本概念、安全协议的密码学基础、基本安全协议、抗攻击的安全协议及实际使用的安全协议。

网络安全：加密原理、算法与协议

本书介绍因特网有关的安全性问题，以及网络安全加密，实现算法与协议等内容。

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

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