书目详细信息
： 安全协议操作语义与验证
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-121-35195-2:CNY59.00 |
|---|---|
| 作品语种： | chi ger |
| 出版国别： | CN 110000 |
| 题名责任者项： | 安全协议操作语义与验证/.(瑞士)Cas Cremers，(卢森堡)Sjouke Mauw著/.吴汉炜译 |
| 出版发行项： | 北京:,电子工业出版社:,2018 |
| 载体形态项： | 10,137页:;+图:;+26cm |
| 丛编项： | 经典译丛.网络空间安全 |
| 提要文摘： | 安全协议作为信息安全的重要基础之一，其安全属性是否能达到设计者的初始目标成为一个重要研究内容，关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖以下两个部分：用形式化的语义定义协议的执行规格和安全属性，以精确表示安全协议的安全属性；综合运用各种形式化方法设计一个高效的验证算法，以在可接受的时间内验证安全属性。本书还探讨了多协议安全分析，比较分析了各种验证理论和发展趋势。 |
| 分集： | 网络空间安全 |
| 并列题名： | Operational semantics and verification of security protocols eng |
| 题名主题： | 计算机网络 网络安全 通信协议 操作语义 验证 |
| 中图分类： | TP393.08 |
| 个人名称等同： | 克雷默斯 (瑞士) (Cremers, Cas) 著 |
| 个人名称等同： | 毛弗 (卢森堡) (Mauw, Sjouke) 著 |
| 个人名称次要： | 吴汉炜 译 |
| 记录来源： | CN 91MARC 20190109 |