| 000 |
|
01536nam0 2200337 450 |
| 001 |
|
1000173413 |
| 005 |
|
20191120091231.0 |
| 010 |
__ |
■a978-7-121-35195-2■dCNY59.00 |
| 100 |
__ |
■a20181126d2018 em y0chiy50 ea |
| 101 |
1_ |
■achi■cger |
| 102 |
__ |
■aCN■b110000 |
| 105 |
__ |
■aak a 000yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a安全协议操作语义与验证■d= Operational semantics and verification of s+...... |
| 210 |
__ |
■a北京■c电子工业出版社■d2018.11 |
| 215 |
__ |
■a10, 137页■c图■d26cm |
| 225 |
2_ |
■a经典译丛■i网络空间安全■Ajing dian yi cong |
| 306 |
__ |
■a由Springer Science+Business Media, LLC授予出版 |
| 314 |
__ |
■aCremers规范汉译姓: 克雷默斯 Mauw规范汉译姓: 毛弗 |
| 320 |
__ |
■a有书目 (第125-137页) |
| 330 |
__ |
■a本书的内容主要涵盖以下两个部分: 用形式化的语义定义协议的执行规格和安全属性, 以精确表示安全协议的安全属性 ; 综+...... |
| 410 |
_0 |
■12001 ■a经典译丛■i网络空间安全 |
| 510 |
1_ |
■aOperational semantics and verification of security protoco+...... |
| 606 |
0_ |
■a计算机网络■x网络安全■x通信协议■x操作语义■x验证■Aji suan ji wang luo |
| 690 |
__ |
■aTP393.08■v5 |
| 690 |
__ |
■aTP301.2■v5 |
| 701 |
_1 |
■a克雷默斯■g(Cremers, Cas)■4著■Ake lei mo si |
| 701 |
_1 |
■a毛弗■g(Mauw, Sjouke)■4著■Amao fu |
| 702 |
_0 |
■a吴汉炜■4译■Awu han wei |
| 801 |
|
■aCN■bGSXY■c20191120 |
| 905 |
|
■aGSXY■fTP393.08/K484■g1390107■g1390108 |
(共0票)
评价
