-
中文图书1.安全协议形式化分析与验证 TP393.08/213
馆藏复本:2
可借复本:2 肖美华著
科学出版社 2019
(0) 馆藏 -
中文图书2.安全协议模型与设计 TP393.08/159
馆藏复本:2
可借复本:2 刘天华, 朱宏峰著
科学出版社 2012
(0) 馆藏 -
中文图书3.安全协议分析与设计 TP393.08/119
馆藏复本:2
可借复本:2 卫剑钒, 陈钟编著
人民邮电出版社 2010
(0) 馆藏 -
中文图书4.安全协议:理论与实践 TP393.08/116
馆藏复本:2
可借复本:2 冯登国著
清华大学出版社 2011
(0) 馆藏 -
中文图书5.安全协议 TP393.08/55
馆藏复本:4
可借复本:4 卿斯汉编著
清华大学出版社 2005
(0) 馆藏 -
中文图书6.安全协议理论与方法 TP393.08/35
馆藏复本:3
可借复本:1 范红, 冯登国编著
科学出版社 2003
(0) 馆藏