Artículos relacionados a 安全协议实施自...
Sinopsis
《安全协议实施自动化生成与验证》包括五篇，共15章。系统地全面介绍了安全实施自动化生成与验证的基本理论和关键技术及新成果。主要内容包括安全协议规范与实施的形式化分析与验证的国内外发展现状、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安全协议Blanchet演算实施自动化抽取工具JAVA2CV、基于计算模型自动化生成安全协议Java实施模型、安全协议Java实施自动化生成工具CV2JAVA、基于符号模型自动化生成安全协议Java实施模型、安全协议Java实施自动化生成工具PV2JAVA、典型安全协议Java实施生成与验证等。《安全协议实施自动化生成与验证》可供从事安全协议、密码学、计算机、软件工程、通信、数学等专业的科技人员、硕士和博士研究生参考，也可供高等院校相关专业的师生参考。
"Sinopsis" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para 安全协议实施自...
Imagen del vendedor
Security protocols to implement automatic generation and validation(Chinese Edition)
ISBN 10: 703050867X
ISBN 13: 9787030508676
Nuevo
paperback
Librería: liu xing, Nanjing, JS, China
Calificación del vendedor: 5 de 5 estrellas
paperback. Condición: New. Paperback. Pub Date: 2016-11-01 Pages: 318 Language: Chinese Publisher: science press. Beijing. security protocol implement automatic generation and validation. including five. a total of 15 chapters.Comprehensive systematically introduces the security to implement automatic generation and verification of basic theory and key technology and new achievements.Main contents include security protocol specification and implementation in the form of. Nº de ref. del artículo: DO035964
Comprar nuevo
EUR 86,32
Envío por EUR 15,50
Se envía de China a Estados Unidos de America
Se envía de China a Estados Unidos de America
Cantidad disponible: 3 disponibles