📖 书目详情
零信任环境下车联网信息安全传输的形式化建模与分析方法
| 著者 | 黄大荣[等]著 |
| ISBN | 9787030816177 |
| 中图分类 | U469-39 交通运输 |
| 学科分类 | 工学 |
| 版次 | 第1版 |
| 出版社 | 科学出版社 |
| 丛书名 | 零信任：群体智能可信决策与安全控制丛书 |
| 出版年 | 2025 |
| 页码 | 211页 |
| 价格 | ¥130.00 |
| 可推荐册数 | 请登录后查看 |
| 核心评分 |
9.9/10
|
📝 内容简介
本书主要以运行在复杂动态环境中的车联网系统为研究背景，在近些年相关研究工作的基础之上，结合形式化建模中的Petri网模型工具和抽象描述语言Z语言，提出了适合车联网系统的相关形式化建模方法。着重解决车联网系统建模过程中实时性传输、随机性事件时有发生不易刻画的关键问题，包括需求模型正确性、完整性、安全性的分析与验证，实时动态性传输特点的处理以及运行环境的复杂多变性等。
🏛️ 本馆馆藏信息
本馆暂无该书的馆藏记录，可在线借购