-
中文图书1.安全协议理论与方法 TP393.08/111
馆藏复本:7
可借复本:6 范红,冯登国编著
科学出版社 2003
(0) 馆藏 -
中文图书2.安全协议 TP393.08/661
馆藏复本:1
可借复本:0 卿斯汉编著
清华大学出版社 2005
(0) 馆藏 -
中文图书3.安全协议实施安全性自动化分析与验证 TP393.08/537
馆藏复本:2
可借复本:1 孟博, 王德军著
科学出版社 2019
(0) 馆藏 -
中文图书4.安全协议操作语义与验证 TP393.08/499
馆藏复本:3
可借复本:2 (瑞士) Cas Cremers,(卢森堡) Sjouke Mauw著
电子工业出版社 2018
(0) 馆藏 -
中文图书5.安全协议实施自动化生成与验证 TP393.08/454
馆藏复本:3
可借复本:2 孟博, 王德军著
科学出版社 2016
(0) 馆藏 -
中文图书6.安全协议设计与分析 TP393.08/383
馆藏复本:3
可借复本:2 张文政...[等]编著
国防工业出版社 2015
(0) 馆藏 -
中文图书7.安全协议模型与设计 TP393.08/326
馆藏复本:5
可借复本:4 刘天华, 朱宏峰著
科学出版社 2012
(0) 馆藏 -
中文图书8.安全协议:理论与实践 TP393.08/251
馆藏复本:3
可借复本:3 冯登国著
清华大学出版社 2011
(0) 馆藏