检索到 20 条 分类号=TP393.08 主题=通信协议 的结果
-
中文图书1.基于UCSA框架的零知识证明协议验证 TP393.08/1142
馆藏复本：5
可借复本：5 王正才著
西南交通大学出版社 2022
(0) 馆藏 -
中文图书2.安全协议.第2版 TP393.08/5142/2
馆藏复本：2
可借复本：2 曹天杰, 张凤荣, 汪楚娇编著
北京邮电大学出版社 2020
(0) 馆藏 -
中文图书3.网络协议与网络安全 TP393.08/3402
馆藏复本：6
可借复本：1 凌力编著
清华大学出版社 2007
(0) 馆藏 -
中文图书4.安全协议实施安全性自动化分析与验证 TP393.08/1406/2
馆藏复本：1
可借复本：1 孟博, 王德军著
科学出版社 2019
(0) 馆藏 -
中文图书5.安全协议形式化分析与验证 TP393.08/982
馆藏复本：2
可借复本：2 肖美华著
科学出版社 2019.11
(0) 馆藏 -
中文图书6.安全协议操作语义与验证 TP393.08/4163
馆藏复本：3
可借复本：3 (瑞士)Cas Cremers，(卢森堡)Sjouke Mauw著
电子工业出版社 2018
(0) 馆藏 -
中文图书7.安全协议实施自动化生成与验证 TP393.08/1406
馆藏复本：2
可借复本：2 孟博, 王德军著
科学出版社 2016
(0) 馆藏 -
中文图书8.网络安全协议:原理、结构与应用.第2版 TP393.08/3641/2
馆藏复本：3
可借复本：3 寇晓蕤, 王清贤
高等教育出版社 2016
(0) 馆藏 -
中文图书9.网络安全协议综合实验教程 TP393.08/439
馆藏复本：2
可借复本：2 杨浩淼, 李洪伟, 冉鹏编著
清华大学出版社 2016
(0) 馆藏 -
中文图书10.网络安全协议分析与案例实践 TP393.08/5441.2
馆藏复本：2
可借复本：2 赖英旭[等]编著
清华大学出版社 2015
(0) 馆藏 -
中文图书11.安全协议设计与分析 TP393.08/1011
馆藏复本：2
可借复本：2 张文政[等]编著
国防工业出版社 2015
(0) 馆藏 -
中文图书12.网络协议与网络安全.2版 TP393.08/3402/2
馆藏复本：3
可借复本：1 凌力编著
清华大学出版社 2012
(0) 馆藏 -
中文图书13.网络安全协议 TP393.08/5441
馆藏复本：3
可借复本：2 赖英旭, 杨震, 刘静编著
清华大学出版社 2012
(0) 馆藏 -
中文图书14.安全协议模型与设计 TP393.08/0121.3
馆藏复本：3
可借复本：2 刘天华，朱宏峰著
科学出版社 2012
(0) 馆藏 -
中文图书15.安全协议原理与验证 TP393.08/1105
馆藏复本：5
可借复本：3 王聪[等] 编著
北京邮电大学出版社 2011
(0) 馆藏 -
中文图书16.安全协议分析与设计 TP393.08/188
馆藏复本：5
可借复本：2 卫剑钒, 陈钟编著
人民邮电出版社 2010
(0) 馆藏 -
中文图书17.安全协议:理论与实践 TP393.08/376
馆藏复本：5
可借复本：2 冯登国著
清华大学出版社 2011
(0) 馆藏 -
中文图书18.网络安全协议的形式化分析与验证 TP393.08/4123.2
馆藏复本：5
可借复本：0 主编李建华
机械工业出版社 2010
(0) 馆藏 -
中文图书19.网络安全协议 TP393.08/520
馆藏复本：5
可借复本：0 秦科，张小松，郝玉洁编著
电子科技大学出版社 2008
(0) 馆藏 -
中文图书20.网络安全协议:原理、结构与应用:principles, architecture and applications TP393.08/3641
馆藏复本：5
可借复本：0 寇晓蕤, 王清贤[著]
高等教育出版社 2009
(0) 馆藏
