000
01529nam 2200361 450
001
187
005
20050617103843.10
010
@ a7-111-15721-4@ dCNY29.00
100
@ a20050617d2005 km y0chiy0120 ea
101
1
@ achi@ ceng
102
@ aCN@ b110000
105
@ aa a 000yy
106
@ ar
200
1
@ a安全协议的建模与分析@ Aan quan xie yi de jian mo yu fen xi@ eCSP方式@ d= Modelling and analysis of security protocols@ fPeter Ryan … [等] 著@ FPeter Ryan …[deng]zhu@ g张玉清, 莫燕, 吴建耀等译@ Gzhang yu qing,mo yan,wu jian yao deng yi@ zeng
210
@ a北京@ c机械工业出版社@ d2005.01
215
@ a235页@ c图@ d26cm
225
2
@ a网络与信息安全丛书
305
@ a据英国Pearson Education Limited 2001年英文版译出
306
@ a由英国Pearson Education (培生教育出版集团) 授权机械工业出版社出版
314
@ a责任者规范汉译姓：瑞安
320
@ a有书目 (第221-225页)。
330
@ a本书介绍了安全协议、CSP方法、安全协议的CSP建模方法、协议目标描述、FDR、Casper、为FDR进行协议和入侵者编码、分析结果的定理证明、协议的简化转换、其他的安全协议分析方法以及安全协议分析所存在的问题与发展趋势等。
461
0
@ 12001 @ a网络与信息安全丛书
510
1
@ aModelling and analysis of security protocols@ zeng
517
1
@ aCSP方式@ ACSP fang shi
606
0
@ a计算机网络@ x通信协议@ x安全技术
690
@ aTP393.0@ v4
701
1
@ a瑞安,@ Arui an,@ bP.@ g(Ryan, Peter)@ 4著
702
0
@ a吴建耀@ Awu jian yao@ 4译
702
0
@ a张玉清@ Azhang yu qing@ 4译
702
0
@ a莫燕@ Amo yan@ 4译
801
0
@ aCN@ bJL@ c20091201
905
@ dTP393.0@ e166
安全协议的建模与分析：CSP方式= Modelling and analysis of security protocols/Peter Ryan … [等] 著/张玉清, 莫燕, 吴建耀等译.-北京：机械工业出版社，2005.01 235页：图；26cm.-(网络与信息安全丛书) ISBN 7-111-15721-4：CNY29.00 本书介绍了安全协议、CSP方法、安全协议的CSP建模方法、协议目标描述、FDR、Casper、为FDR进行协议和入侵者编码、分析结果的定理证明、协议的简化转换、其他的安全协议分析方法以及安全协议分析所存在的问题与发展趋势等。 ●
预约/预借
序号
登录号
条形码
馆藏地/架位号
状态
备注
1
296451
300296451
流通五库四楼/
[索取号:TP393.0/166]
在馆
2
296452
300296452
流通五库四楼/
[索取号:TP393.0/166]
在馆
3
296453
300296453
流通五库四楼/
[索取号:TP393.0/166]
在馆
4
296454
300296454
流通五库四楼/
[索取号:TP393.0/166]
在馆
5
296455
300296455
流通五库四楼/
[索取号:TP393.0/166]
在馆
