文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | TP393.08/K644 | 安全协议操作语义与验证 | (瑞士) Cas Cremers, (卢森堡) Sjouke Mauw | 电子工业出版社 | 2018.11 |
| 2 | TN915.08/C102 | 网络空间安全概论 | 曹春杰, 吴汉炜等编著 | 电子工业出版社 | 2019.04 |
文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | TP393.08/K644 | 安全协议操作语义与验证 | (瑞士) Cas Cremers, (卢森堡) Sjouke Mauw | 电子工业出版社 | 2018.11 |
| 2 | TN915.08/C102 | 网络空间安全概论 | 曹春杰, 吴汉炜等编著 | 电子工业出版社 | 2019.04 |