同类推荐
-
-
网络服务器配置与管理
-
¥49.00
-
-
Stable Diffusion AIGC视觉教程
-
¥59.80
-
-
智能剪辑：剪映一周34例实训教程
-
¥49.80
-
-
智能剪辑：剪映一周34例实训教程
-
¥49.80
-
-
智能剪辑：剪映一周34例实训教程
-
¥49.80
-
-
数据分析与R语言实践（秦学）
-
¥45.00
-
-
数据分析与R语言实践（秦学）
-
¥45.00
-
-
数据分析与R语言实践（秦学）
-
¥45.00
-
-
Java程序设计基础:微课版
-
¥64.80
-
-
Java程序设计基础:微课版
-
¥64.80
|
|
图书信息
|
|
|
|
CPN Tools与工业安全协议
|
| ISBN： | 9787113333362 |
定价： | ￥79.80 |
| 作者： | 龚翔著 |
出版社： | 中国铁道出版社有限公司 |
| 出版时间： | 2026年06月 |
开本： | 26cm |
| 页数： | 230页 |
装祯： | 平装 |
中图法： | TP317.49;TP393.08 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
1
|
泰安展厅库
|
2026-06-29
|
|
其它供货商库存合计
|
432
|
|
2026-06-26
|
图书简介 | | 本书系统探讨如何运用CPN Tools对安全协议进行形式化建模与分析。全书从CPN Tools基本操作与SML语言基础开始，逐步深入探讨安全协议分析中的攻击者模型与形式化验证方法，重点讨论在工业物联网和基于PUF的M2M通信场景下认证密钥交换协议的设计与验证，并结合典型实例提供从建模到安全性分析的完整实践指导。 |
|