检索到 6 条 题名=安全协议 的结果
-
中文图书1.安全协议实施安全性自动化分析与验证 TP393.08/M156
馆藏复本：3
可借复本：3 孟博, 王德军著
科学出版社 2019.11
(0) 馆藏 -
中文图书2.安全协议形式化分析与验证 TP393.08/X519
馆藏复本：2
可借复本：2 肖美华著
科学出版社 2019
(0) 馆藏 -
中文图书3.安全协议操作语义与验证 TP393.08/K484A51
馆藏复本：5
可借复本：5 (瑞士) Cas Cremers, (卢森堡) Sjouke Mauw著
电子工业出版社 2018
(0) 馆藏 -
中文图书4.安全协议:理论与实践 TP393.08/F248-2
馆藏复本：3
可借复本：3 冯登国著
清华大学出版社 2011
(1) 馆藏 -
中文图书5.安全协议 TP393.08/Q719
馆藏复本：3
可借复本：3 卿斯汉编著
清华大学出版社 2005
(0) 馆藏 -
中文图书6.安全协议理论与方法 TP393.08/F386
馆藏复本：3
可借复本：3 范红, 冯登国编著
科学出版社 2003
(0) 馆藏
