新書推薦：
《
中产阶级的孩子们：六十年代与文化领导权
》
售價：HK$
107.8
《
谈鬼说神
》
售價：HK$
398.2
《
走出秦制：清末民初六十年（慈禧、奕?、李鸿章、张之洞、袁世凯、康有为、梁启超、宋教仁等对中国前途的思
》
售價：HK$
129.8
《
古典与文明·独尊儒术前夕的思想争锋：汉初“前经学时代”研究
》
售價：HK$
99.0
《
史记 全六册
》
售價：HK$
437.8
《
图解计算机科学数学基础（原书第3版）
》
售價：HK$
130.9
《
柏拉图《理想国》指南（想读《理想国》，一直看不懂？这本书就是你的哲学通关攻略）
》
售價：HK$
87.8
《
你的代谢还好吗：控制“五高”饮食运动法
》
售價：HK$
54.8
|
| 內容簡介： |
|
《零信任环境下车联网信息安全传输的形式化建模与分析方法》以零信任环境下车联网信息传输过程中的安全机制为主题，在近几年课题组的研究基础之上，针对车联网运行环境复杂、多变，以及传感器设备数量庞大等特征导致的人、设备、应用等不存在任何潜在信任的问题，基于“永不信任、持续验证”的实际需求进行了详细的问题分析，以零信任环境为具体特性，对车联网信息系统的需求模型、车联网数据信息的传输过程、离散环境下车联网系统的安全性传输机制进行形式化建模与分析，并进行模型抽象与重组。
|
| 目錄：
|
|
目录“零信任：群体智能可信决策与安全控制丛书”序前言第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
新書上架
暢銷書架
