Meng Bo Wang De Jun (3 results)

paperback. Condition: New. Ship out in 2 business day, And Fast shipping, Free Tracking number will be provided after the shipment.Paperback. Pub Date :2013-06-01 Pages: 328 Language: Chinese Publisher: Science Press smart science and technology books Series: Secure Remote Internet voting protocol a comprehensive introduction to the domestic and foreign remote security control model . design and implementation techniques the main contents include : remote control protocol classification and models. closely related to cryptography technology. the latest typical remote control protocol model and the computational model bas.Four Satisfaction guaranteed,or money back.…

paperback. Condition: New. Paperback. Pub Date: 2019-11-01 Pages: 249 Language: Chinese Publisher: Science Press security protocol implement automated analysis and verification of safety system introduced security protocols implement the basic theory and key technology security and automated analysis and verification new results. Security protocol analysis and implementation of automated security verification is mainly in the .…

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