安全协议实施自动化生成与验证
内容简介
《安全协议实施自动化生成与验证》包括五篇，共15章。系统地全面介绍了安全实施自动化生成与验证的基本理论和关键技术及新成果。主要内容包括安全协议规范与实施的形式化分析与验证的国内外发展现状、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安全协议Blanchet演算实施自动化抽取工具JAVA2CV、基于计算模型自动化生成安全协议Java实施模型、安全协议Java实施自动化生成工具CV2JAVA、基于符号模型自动化生成安全协议Java实施模型、安全协议Java实施自动化生成工具PV2JAVA、典型安全协议Java实施生成与验证等。
《安全协议实施自动化生成与验证》可供从事安全协议、密码学、计算机、软件工程、通信、数学等专业的科技人员、硕士和博士研究生参考，也可供高等院校相关专业的师生参考。
《C++面向对象程序设计（第三版）/“十三五”高校计算机应用技术系列规划教材》是为具有C语言基础的读者编写的，主要介绍C什面向对象程序设计的基本知识和编程方法，全面讲述了C++面向对象的基本特征。内容包括类、对象、继承、派生类、多态性、虚函数、运算符重载、
2/23/2025 12:55:51 PM
《算法零基础一本通（Python版 全彩印刷）》指导读者从零开始学习算法：从基础数据结构开始，逐步解说信息安全算法，最后也讲解了人工智能入门领域的KNN和K-means算法。 《算法零基础一本通（Python版 全彩印刷）》理论与实例并重，在讲解算法理论时，使用热门程序
12/29/2024 9:07:06 PM
《C++面向对象程序设计（第三版）/“十三五”高校计算机应用技术系列规划教材》是为具有C语言基础的读者编写的，主要介绍C什面向对象程序设计的基本知识和编程方法，全面讲述了C++面向对象的基本特征。内容包括类、对象、继承、派生类、多态性、虚函数、运算符重载、
11/23/2024 12:54:31 PM
《C++面向对象程序设计（第三版）/“十三五”高校计算机应用技术系列规划教材》是为具有C语言基础的读者编写的，主要介绍C什面向对象程序设计的基本知识和编程方法，全面讲述了C++面向对象的基本特征。内容包括类、对象、继承、派生类、多态性、虚函数、运算符重载、
10/23/2024 12:53:21 PM
在线客服