安全协议实施自动化生成与验证.pdf
本书包括五篇，共15章。系统地全面介绍了安全实施自动化生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议规范与实施的形式化分析与验证的国内外发展现状、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安全协议Blanchet演算实施自动化抽取工具JAVA2C
王德军
安全远程网络投票协议.pdf
本书共有十三章。系统全面介绍了远程网络投票协议设计与分析的基本理论、关键技术及最新成果。主要内容包括远程网络投票协议的分类和模型、国内外发展现状等。
安全协议实施安全性自动化分析与验证.pdf
《安全协议实施安全性自动化分析与验证》系统介绍安全协议实施安全性自动化分析与验证的基本理论和关键技术及最新成果。主要内容包括安全协议实施安全性分析与验证的国内外发展现状、一阶定理证明器ProVerif及应用、自动化安全协议证明器Crypto Verif及应用、基于计算模型自动化抽
人类疾病动物模型 王德军 主编.pdf
《人类疾病动物模型》为科学出版社“十四五”普通高等教育研究生规划教材之一。人类疾病动物模型是现代医学研究中必不可少的实验方法和手段。研究者通过有意识地改变自然条件下不可能或不易排除的因素，准确地观察动物疾病模型的实验结果，并通过与人类疾病的比较，更方便、有效地认识人类疾病的发生发