安全协议实施自动化生成与验证.pdf
本书包括五篇，共15章。系统地全面介绍了安全实施自动化生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议规范与实施的形式化分析与验证的国内外发展现状、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安全协议Blanchet演算实施自动化抽取工具JAVA2C
安全协议
安全协议形式化分析与验证.pdf
《安全协议形式化分析与验证》是作者多年从事安全协议形式化分析与验证相关科研工作的总结，主要对两种形式化方法做了归纳：基于SPIN工具的模型检测和事件逻辑。 《安全协议形式化分析与验证》主要内容如下：介绍了安全协议形式化分析的研究现状、主要技术流派，以及协议描述语言Pro
安全协议实施安全性自动化分析与验证.pdf
《安全协议实施安全性自动化分析与验证》系统介绍安全协议实施安全性自动化分析与验证的基本理论和关键技术及最新成果。主要内容包括安全协议实施安全性分析与验证的国内外发展现状、一阶定理证明器ProVerif及应用、自动化安全协议证明器Crypto Verif及应用、基于计算模型自动化抽
隐私保护安全协议研究.pdf
本书主要分为三篇：第一篇是基础篇，主要介绍安全协议的概念、数学基础、密码学工具、可证明理论以及隐私保护安全协议；第二篇是进阶篇，提出多个概念与协议，如OTIP、完全公平匿名签名、混沌映射构造的两方和三方隐私保护认证密钥协商、完备电子优惠券系统等；第三篇是高级篇，主要探讨普适化形式
安全协议理论与方法.pdf
本书系统地介绍当前计算机网络安全协议的理论和方法，涉及安全协议的基本概念、缺陷以及可能受到的攻击类型，安全协议设计的形式化方法等方面。
安全协议模型与设计.pdf
本书介绍了安全协议的整体结构、设计流程与分析方法。第1-3章介绍了安全协议的基本概念以及采用的数学知识与密码工具，第4章介绍了安全协议的可证明理论，第5-7章探讨了不同环境下安全协议的设计与分析。针对现有安全协议中出现的问题，提出了一些针对常见协议的改进协议，经过性能测试具有较好