检索到 12 条 题名=安全协议 的结果
-
中文图书1.安全协议实施安全性自动化分析与验证 TP393.08/1743/ 1
馆藏复本：2
可借复本：2 孟博, 王德军著
科学出版社 2019
(0) 馆藏 -
中文图书2.安全协议形式化分析与验证 TP393.08/9082
馆藏复本：2
可借复本：2 肖美华著
科学出版社 2019
(0) 馆藏 -
中文图书3.安全协议实施自动化生成与验证 TP393.08/1743
馆藏复本：2
可借复本：1 孟博, 王德军著
科学出版社 2016
(0) 馆藏 -
中文图书4.安全协议设计与分析 TP393.08/1201
馆藏复本：2
可借复本：2 张文政 ... [等] 编著
国防工业出版社 2015
(0) 馆藏 -
中文图书5.安全协议模型与设计 TP393.08/0212/ 2
馆藏复本：2
可借复本：1 刘天华, 朱宏峰著
科学出版社 2012
(0) 馆藏 -
中文图书6.安全协议理论与方法 TP393.08/4421
馆藏复本：5
可借复本：4 范红, 冯登国编著
科学出版社 2003
(0) 馆藏 -
中文图书7.安全协议:理论与实践 TP393.08/3716/ 1
馆藏复本：3
可借复本：2 冯登国著
清华大学出版社 2011
(0) 馆藏 -
中文图书8.安全协议原理与验证 TP393.08/1018
馆藏复本：2
可借复本：1 王聪 ... [等] 编著
北京邮电大学出版社 2011
(0) 馆藏 -
中文图书9.安全协议 TP393.08/5514/ 1
馆藏复本：3
可借复本：2 曹天杰, 张永平, 汪楚娇编著
北京邮电大学出版社 2009
(0) 馆藏 -
中文图书10.安全协议 TP393.08/7743
馆藏复本：5
可借复本：4 卿斯汉编著
清华大学出版社 2005
(0) 馆藏 -
中文图书11.安全协议的建模与分析:CSP方式 TN915.04/7410
馆藏复本：5
可借复本：4 Peter Ryan ... [等] 著
机械工业出版社 2005
(0) 馆藏 -
中文图书12.安全协议分析与设计 TP393.08/1788
馆藏复本：3
可借复本：2 卫剑钒, 陈钟编著
人民邮电出版社 2010
(0) 馆藏
