孟博

安全协议实施自动化生成与验证.pdf

本书包括五篇,共15章。系统地全面介绍了安全实施自动化生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议规范与实施的形式化分析与验证的国内外发展现状、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安全协议Blanchet演算实施自动化抽取工具JAVA2C

安全远程网络投票协议.pdf

本书共有十三章。系统全面介绍了远程网络投票协议设计与分析的基本理论、关键技术及最新成果。主要内容包括远程网络投票协议的分类和模型、国内外发展现状等。

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

《安全协议实施安全性自动化分析与验证》系统介绍安全协议实施安全性自动化分析与验证的基本理论和关键技术及最新成果。主要内容包括安全协议实施安全性分析与验证的国内外发展现状、一阶定理证明器ProVerif及应用、自动化安全协议证明器Crypto Verif及应用、基于计算模型自动化抽

生物实验室安全故事手记.pdf

本书通过一个个发生在分子生物学实验室、细胞与免疫学实验室、微生物实验室和动物实验室的安全故事,传达给你“生物实验室安全”的观点和理念,“安全小贴士”指导你如何安全有效地进行实验,“补救措施”教你把危害的隐患和后果降到最低。