机读格式显示(MARC)
- 010 __ |a 978-7-118-10339-7 |d CNY78.00
- 100 __ |a 20160104d2015 em y0chiy0121 ea
- 200 1_ |a 安全协议设计与分析 |A an quan xie yi she ji yu fen xi |d = Design and analysis of security prtocols |f 张文政...[等]编著 |z eng
- 210 __ |a 北京 |c 国防工业出版社 |d 2015
- 215 __ |a xxii, 202页 |c 图 |d 24cm
- 225 2_ |a 网络与信息安全前沿技术丛书 |A wang luo yu xin xi an quan qian yan ji shu cong shu
- 304 __ |a 题名页题: 张文政, 王立斌, 李益发, 郑东, 董新锋编著
- 330 __ |a 本书系统介绍了安全协议分析的理论方法, 给出了安全协议目前的最新结果, 如”安全协议工程原则”, ”可证明安全协议分析方法”及”RFID安全分析技术”等, 这些内容给出了目前可用于安全协议分析的国际前沿方法。本书中选用的例子都是实际应用的安全协议, 有些是目前被广泛使用的安全协议, 有些是曾经使用的安全协议, 也有些协议是最新提出的安全协议。同时给出了安全协议设计的实用准则。
- 333 __ |a 本书可作为计算机、通信及信息安全专业的高年级选修教材, 也可作为相关专业的研究生教材
- 410 _0 |1 2001 |a 网络与信息安全前沿技术丛书
- 510 1_ |a Design and analysis of security prtocols |z eng
- 606 0_ |a 计算机网络 |A ji suan ji wang luo |x 安全技术 |x 通信协议 |x 研究
- 701 _0 |a 张文政 |A zhang wen zheng |4 编著
- 701 _0 |a 王立斌 |A wang li bin |4 编著
- 701 _0 |a 李益发 |A li yi fa |4 编著
- 801 _0 |a CN |b 三新书业 |c 20160111
- 905 __ |a XATU |d TP393.08/383