ISBN: 9787030508676 - 安全协议实施自动化生成与验证 (1 risultati)

paperback. Condizione: 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.…