新書推薦：
《
本心与实学——陆象山心学的展开（何俊著作集）
》
售價：NT$
602.0
《
天地之间：天文分野的历史学研究（增订本）（中华学术·近思）
》
售價：NT$
500.0
《
自由与平等是否兼容？（思库文丛·汉译精品）
》
售價：NT$
316.0
《
消融时代：冰川、气候与人类危机（译见丛书）冰川消融前人类还有多少时间 美国笔会科普文学奖决选作品 纽约时报书单盛赞的警世之书
》
售價：NT$
296.0
《
欧美经济群雄逐鹿300年
》
售價：NT$
347.0
《
应期而生 利奥梅拉梅德与现代金融的诞生
》
售價：NT$
403.0
《
女性私密健康全书
》
售價：NT$
347.0
《
白轮船 典藏版
》
售價：NT$
230.0
|
| 內容簡介： |
|
《零信任环境下车联网信息安全传输的形式化建模与分析方法》以零信任环境下车联网信息传输过程中的安全机制为主题，在近几年课题组的研究基础之上，针对车联网运行环境复杂、多变，以及传感器设备数量庞大等特征导致的人、设备、应用等不存在任何潜在信任的问题，基于“永不信任、持续验证”的实际需求进行了详细的问题分析，以零信任环境为具体特性，对车联网信息系统的需求模型、车联网数据信息的传输过程、离散环境下车联网系统的安全性传输机制进行形式化建模与分析，并进行模型抽象与重组。
|
| 目錄：
|
|
目录“零信任：群体智能可信决策与安全控制丛书”序前言第1章 绪论 11.1 引言 11.2 车联网信息系统建模研究现状 31.3 零信任环境下车联网信息系统建模的需求分析 51.4 形式化方法应用前景 71.5 本章小结 9参考文献 10第2章 前期预备知识介绍 152.1 基于零信任架构的车联网系统机制分析 152.2 基于Petri 网的零信任车联网系统建模 172.3 零信任车联网系统的扩展Petri 网 222.3.1 时间Petri网 222.3.2 随机Petri网 252.4 零信任车联网系统建模的Z 语言表征 262.5 零信任车联网系统形式化模型的PZN 表征 302.6 基于Actor-Critic 算法的强化学习 372.7 形式化建模工具介绍 392.8 本章小结 41参考文献 41第3章 零信任环境下车联网系统需求模型的形式化建模 443.1 基于零信任的车联网系统需求目标模型的形式化建模与分析 443.1.1 基于超协调逻辑思想的需求预处理 443.1.2 目标层的形式化建模 583.1.3 目标层的形式化分析与验证 633.1.4 零信任环境下目标层模型的演化 703.1.5 性能比较分析 763.1.6 项目应用的实例分析 773.2 零信任环境下车联网系统需求过程模型的形式化建模与分析 793.2.1 过程层的形式化建模 793.2.2 形式化分析与验证 853.2.3 动态环境下过程层模型的演化 893.2.4 性能比较分析 943.2.5 项目应用的实例分析 953.3 零信任环境下车联网系统需求目标与过程模型的一致性验证 983.3.1 目标与过程的映射关系 983.3.2 一致性分析 993.3.3 一致性验证 1043.3.4 项目应用的实例分析 1073.4 本章小结 109参考文献 110第4章 面向零信任车联网信息安全传输机制的形式化分析 1144.1 基于TPZN的形式化建模 1144.1.1 TPZN 1144.1.2 TPZN的建模与精炼 1164.1.3 TPZN建模工具介绍 1184.2 基于TPZN的形式化验证 1204.2.1 完整性分析 1204.2.2 可达性分析 1214.2.3 活性分析 1234.3 零信任环境下车联网系统中特殊车辆的优先级处理方法 1244.3.1 基于零信任的车联网系统信息传输机制模型的形式化建模 1244.3.2 零信任车联网系统信息传输机制模型的形式化验证 1294.3.3 零信任环境下车联网系统信息传输机制模型仿真与结果分析 1314.4 车联网系统中紧急车辆让行处理方法 1364.4.1 紧急车辆让行信息传输模型的形式化建模 1364.4.2 零信任环境下紧急车辆让行信息传输模型的形式化验证 1444.4.3 零信任环境下紧急车辆让行信息传输模型仿真与结果分析 1504.5 本章小结 154参考文献 154第5章 离散动态环境下零信任车联网系统性能的形式化优化方法 1585.1 基于SPZN的零信任智能网联汽车的形式化建模 1585.1.1 集成随机Petri网与Z 语言的形式化方法 1585.1.2 SPZN的形式化建模 1625.1.3 SPZN的优势 1645.2 基于SPZN的智能网联汽车的精炼和抽象方法 1655.2.1 随机Petri网的可达标识空间爆炸问题 1655.2.2 对单个库所和变迁的精炼抽象方法 1665.2.3 对多个库所和变迁的精炼抽象方法 1685.2.4 混合库所和变迁的精炼抽象方法 1695.3 基于SPZN的车联网系统的形式化验证与分析 1705.3.1 SPZN的动态性质分析 1725.3.2 基于SPZN的零信任车路云系统的形式化建模 1745.3.3 基于SPZN的零信任“车-路-云”系统的精炼与抽象 1795.3.4 基于SPZN的零信任“车-路-云”系统的形式化验证与分析 1865.4 本章小结 198参考文献 199第6章 零信任车联网信息系统形式化方法的研究趋势分析 2026.1 零信任车联网数据传输的形式化建模与验证研究趋势 2026.2 形式化方法在零信任车联网的应用 2046.3 形式化验证工具和研究成果 2056.4 本章小结 208参考文献 208
|
|
購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽
HOME
新書上架
