零信任環境下車聯網信息安全傳輸的形式化建模與分析方法 9787030816177 黃大榮 劉洋 那雨虹等

*書籍均為代購，我們向大陸付款發訂後即無法取消，為避免造成不必要的損失，
下訂前請慎重考慮！下訂前請慎重考慮！謝謝。
*完成訂單後正常情形下約兩周可抵台。
*本賣場提供之資訊僅供參考，以到貨標的為正確資訊。
印行年月：202505*若逾兩年請先於客服中心或Line洽詢存貨情況，謝謝。
台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。
書名：零信任環境下車聯網信息安全傳輸的形式化建模與分析方法
ISBN：9787030816177
出版社：科學
著編譯者：黃大榮 劉洋 那雨虹等
頁數：211
所在地：中國大陸 *此為代購商品
書號：1741264
可大量預訂，請先連絡。

內容簡介

本書以零信任環境下車聯網信息傳輸過程中的安全機製為主題，在近幾年課題組的研究基礎之上，針對車聯網運行環境複雜、多變，以及感測器設備數量龐大等特徵導致的人、設備、應用等不存在任何潛在信任的問題，基於「永不信任、持續驗證」的實際需求進行了詳細的分析，以零信任環境為具體特性，對車聯網信息系統的需求模型、車聯網數據信息的傳輸過程、離散環境下車聯網系統的安全性傳輸機制進行形式化建模與分析，並進行模型抽象與重組。 本書面向廣大從事車聯網、自動駕駛、信息安全等領域的研究人員，亦可作為高等院校計算機科學與技術、交通運輸工程、信息安全等相關領域專業本科生和研究生參考用書。

目錄

「零信任：群體智能可信決策與安全控制叢書」序
前言
第1章 緒論
1 1 引言
1 2 車聯網信息系統建模研究現狀
1 3 零信任環境下車聯網信息系統建模的需求分析
1 4 形式化方法應用前景
1 5 本章小結
參考文獻
第2章 前期預備知識介紹
2 1 基於零信任架構的車聯網系統機制分析
2 2 基於Petri 網的零信任車聯網系統建模
2 3 零信任車聯網系統的擴展Petri 網
2 3 1 時間Petri網
2 3 2 隨機Petri網
2 4 零信任車聯網系統建模的Z 語言表徵
2 5 零信任車聯網系統形式化模型的PZN 表徵
2 6 基於Actor-Critic 算法的強化學習
2 7 形式化建模工具介紹
2 8 本章小結
參考文獻
第3章 零信任環境下車聯網系統需求模型的形式化建模
3 1 基於零信任的車聯網系統需求目標模型的形式化建模與分析
3 1 1 基於超協調邏輯思想的需求預處理
3 1 2 目標層的形式化建模
3 1 3 目標層的形式化分析與驗證
3 1 4 零信任環境下目標層模型的演化
3 1 5 性能比較分析
3 1 6 項目應用的實例分析
3 2 零信任環境下車聯網系統需求過程模型的形式化建模與分析
3 2 1 過程層的形式化建模
3 2 2 形式化分析與驗證
3 2 3 動態環境下過程層模型的演化
3 2 4 性能比較分析
3 2 5 項目應用的實例分析
3 3 零信任環境下車聯網系統需求目標與過程模型的一致性驗證
3 3 1 目標與過程的映射關係
3 3 2 一致性分析
3 3 3 一致性驗證
3 3 4 項目應用的實例分析
3 4 本章小結
參考文獻
第4章 面向零信任車聯網信息安全傳輸機制的形式化分析
4 1 基於TPZN的形式化建模
4 1 1 TPZN
4 1 2 TPZN的建模與精鍊
4 1 3 TPZN建模工具介紹
4 2 基於TPZN的形式化驗證
4 2 1 完整性分析
4 2 2 可達性分析
4 2 3 活性分析
4 3 零信任環境下車聯網系統中特殊車輛的優先順序處理方法
4 3 1 基於零信任的車聯網系統信息傳輸機制模型的形式化建模
4 3 2 零信任車聯網系統信息傳輸機制模型的形式化驗證
4 3 3 零信任環境下車聯網系統信息傳輸機制模型模擬與結果分析
4 4 車聯網系統中緊急車輛讓行處理方法
4 4 1 緊急車輛讓行信息傳輸模型的形式化建模
4 4 2 零信任環境下緊急車輛讓行信息傳輸模型的形式化驗證
4 4 3 零信任環境下緊急車輛讓行信息傳輸模型模擬與結果分析
4 5 本章小結
參考文獻
第5章 離散動態環境下零信任車聯網系統性能的形式化優化方法
5 1 基於SPZN的零信任智能網聯汽車的形式化建模
5 1 1 集成隨機Petri網與Z 語言的形式化方法
5 1 2 SPZN的形式化建模
5 1 3 SPZN的優勢
5 2 基於SPZN的智能網聯汽車的精鍊和抽象方法
5 2 1 隨機Petri網的可達標識空間爆炸問題
5 2 2 對單個庫所和變遷的精鍊抽象方法
5 2 3 對多個庫所和變遷的精鍊抽象方法
5 2 4 混合庫所和變遷的精鍊抽象方法
5 3 基於SPZN的車聯網系統的形式化驗證與分析
5 3 1 SPZN的動態性質分析
5 3 2 基於SPZN的零信任車路雲系統的形式化建模
5 3 3 基於SPZN的零信任「車-路-雲」系統的精鍊與抽象
5 3 4 基於SPZN的零信任「車-路-雲」系統的形式化驗證與分析
5 4 本章小結
參考文獻
第6章 零信任車聯網信息系統形式化方法的研究趨勢分析
6 1 零信任車聯網數據傳輸的形式化建模與驗證研究趨勢
6 2 形式化方法在零信任車聯網的應用
6 3 形式化驗證工具和研究成果
6 4 本章小結
參考文獻

詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於客服中心或Line或本社留言板留言，我們即儘速上架。

大陸簡體正版圖書，訂購後正常情形下約兩周可抵台。