同类推荐
-
-
Seedance从入门到精通:即梦AI从创意到一键生成…
-
¥69.00
-
-
Seedance从入门到精通:即梦AI从创意到一键生成…
-
¥69.00
-
-
Seedance从入门到精通:即梦AI从创意到一键生成…
-
¥69.00
-
-
AI重塑游戏开发：让NPC“活”起来
-
¥99.00
-
-
AI重塑游戏开发：让NPC“活”起来
-
¥99.00
-
-
AI重塑游戏开发：让NPC“活”起来
-
¥99.00
-
-
Python大数据挖掘与人工智能应用（微课版）
-
¥69.80
-
-
Python大数据挖掘与人工智能应用（微课版）
-
¥69.80
-
-
Python大数据挖掘与人工智能应用（微课版）
-
¥69.80
-
-
C语言程序设计案例式教程:AI助学
-
¥69.80
|
|
图书信息
|
|
|
|
CPN Tools与工业安全协议
|
| ISBN： | 9787113333362 |
定价： | ￥79.80 |
| 作者： | 龚翔著 |
出版社： | 中国铁道出版社有限公司 |
| 出版时间： | 2026年06月 |
开本： | 26cm |
| 页数： | 230页 |
装祯： | 平装 |
中图法： | TP317.49 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
1
|
泰安展厅库
|
2026-10-17
|
|
其它供货商库存合计
|
345
|
|
2026-10-16
|
图书简介 | | 本书系统探讨如何运用CPN Tools对安全协议进行形式化建模与分析。全书从CPN Tools基本操作与SML语言基础开始，逐步深入探讨安全协议分析中的攻击者模型与形式化验证方法，重点讨论在工业物联网和基于PUF的M2M通信场景下认证密钥交换协议的设计与验证，并结合典型实例提供从建模到安全性分析的完整实践指导。 |
|