ISBN: 9787030625069 - 正版全新 安全协议实施安全性自动化分析与验证 (1 risultati)

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