同类推荐
-
-
网络服务器配置与管理
-
¥49.00
-
-
Stable Diffusion AIGC视觉教程
-
¥59.80
-
-
Python程序设计
-
¥59.00
-
-
Python程序设计
-
¥59.00
-
-
Python程序设计
-
¥59.00
-
-
开拍！人人都可做导演:Seedance 2.0实战指南…
-
¥69.90
-
-
vLLM与SGLang:大模型高效推理双引擎实战
-
¥99.00
-
-
vLLM与SGLang:大模型高效推理双引擎实战
-
¥99.00
-
-
vLLM与SGLang:大模型高效推理双引擎实战
-
¥99.00
-
-
数字孪生与工业仿真实践（赵凌燕）
-
¥69.00
|
|
图书信息
|
|
|
|
CPN Tools与工业安全协议
|
| ISBN： | 9787113333362 |
定价： | ￥79.80 |
| 作者： | 龚翔著 |
出版社： | 中国铁道出版社有限公司 |
| 出版时间： | 2026年06月 |
开本： | 26cm |
| 页数： | 230页 |
装祯： | 平装 |
中图法： | TP317.49 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
1
|
泰安展厅库
|
2026-08-18
|
|
其它供货商库存合计
|
385
|
|
2026-08-18
|
图书简介 | | 本书系统探讨如何运用CPN Tools对安全协议进行形式化建模与分析。全书从CPN Tools基本操作与SML语言基础开始，逐步深入探讨安全协议分析中的攻击者模型与形式化验证方法，重点讨论在工业物联网和基于PUF的M2M通信场景下认证密钥交换协议的设计与验证，并结合典型实例提供从建模到安全性分析的完整实践指导。 |
|