书目详细信息
： CPN Tools与工业安全协议
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-113-33336-2:CNY79.80 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | CPN Tools与工业安全协议/.龚翔著 |
| 出版发行项： | 北京:,中国铁道出版社有限公司:,2026.06 |
| 载体形态项： | 230页:;+图 (部分彩图):;+27cm |
| 提要文摘： | 本书系统探讨如何运用CPN Tools对安全协议进行形式化建模与分析。全书从CPN Tools基本操作与SML语言基础开始, 逐步深入探讨安全协议分析中的攻击者模型与形式化验证方法, 重点讨论在工业物联网和基于PUF的M2M通信场景下认证密钥交换协议的设计与验证, 并结合典型实例提供从建模到安全性分析的完整实践指导。 |
| 题名主题： | 图形软件 |
| 题名主题： | 计算机网络 工业安全 计算机网络 安全技术 通信协议 |
| 中图分类： | TP317.49 |
| 中图分类： | TP393.08 |
| 个人名称等同： | 龚翔 著 |
| 记录来源： | CN 湖北三新 20260826 |
| 记录来源： | CN GGNY 20260918 |