安全协议操作语义与验证 = Operational semantics and verification of security protocols

Main Authors: 瑞士 克雷默斯 Cremers, Cas ((瑞士)Cas Cremers，(卢森堡)Sjouke Mauw著); 卢森堡 毛弗 Mauw, Sjouke
Group Author: 吴汉炜 (译)
Published: 电子工业出版社
Publication Dates: 2018
Call Number: TP393.08/4216