基于安全需求的信息物理系統(tǒng)設(shè)計

定　價：￥69.00

作　者：	林忠緯，[美] 阿爾伯托·桑著，羅瓔珞譯
出版社：	機械工業(yè)出版社
叢編項：	汽車先進技術(shù)譯叢-智能網(wǎng)聯(lián)汽車系列
標(biāo)　簽：	暫缺

購買這本書可以去

ISBN：	9787111678793	出版時間：	2021-05-01	包裝：	精裝
開本：	16開	頁數(shù)：	88	字?jǐn)?shù)：

內(nèi)容簡介

　　《基于安全需求的信息物理系統(tǒng)設(shè)計》介紹了信息物理系統(tǒng)的一些初步知識和現(xiàn)有安全問題、基于安全需求的設(shè)計方法、CAN協(xié)議的安全機制、基于CAN和TDMA系統(tǒng)的安全需求映射問題和算法、用于V2V通信的安全需求優(yōu)化問題和算法、基于狀態(tài)機和基于圖形的安全需求設(shè)計問題，本書還指出一些未來的發(fā)展方向。《基于安全需求的信息物理系統(tǒng)設(shè)計》契合智能網(wǎng)聯(lián)汽車對高安全性的要求，非常適合汽車行業(yè)技術(shù)人員學(xué)習(xí)參考，也適合通信、網(wǎng)絡(luò)等相關(guān)行業(yè)車載應(yīng)用研究方面的技術(shù)人員參考閱讀，對于車輛工程專業(yè)師生也會有所幫助。

作者簡介

　　【譯者簡介】《基于安全需求的信息物理系統(tǒng)設(shè)計》譯者羅瓔珞女士，南洋理工大學(xué)碩士畢業(yè)，2001-2004，中國電信系統(tǒng)集成公司任產(chǎn)品經(jīng)理；2004-2014，諾基亞中國有限公司任產(chǎn)品經(jīng)理； 2015-2019，中國信息通信研究院泰爾終端實驗室任主任工程師；2019至今，國汽智聯(lián)公司任信息安全主任工程師。

圖書目錄

第1章簡介……1
第2章信息物理系統(tǒng)安全威脅……4
第3章基于安全需求的設(shè)計方法……7
3.1安全需求映射……7
3.2安全機制選擇……9
3.3體系架構(gòu)選擇……9
3.4基于安全需求的設(shè)計示例……10
3.5總結(jié)……12
第4章CAN協(xié)議系統(tǒng)的安全機制……13
4.1系統(tǒng)模型和攻擊者模型……14
4.2安全機制……16
4.2.1基本認(rèn)證……17
4.2.2高級機制……19
4.3計數(shù)器的實現(xiàn)……20
4.4計數(shù)器復(fù)位機制……22
4.4.1自愈復(fù)位機制……23
4.4.2網(wǎng)絡(luò)復(fù)位機制……23
4.5分析……25
4.6總結(jié)……28
第5章基于CAN總線系統(tǒng)的安全需求映射……29
5.1系統(tǒng)模型與公式……30
5.1.1系統(tǒng)模型……30
5.1.2信息安全約束和密鑰分發(fā)……31
5.1.3功能安全約束……33
5.2映射算法……33
5.2.1約束……34
5.2.2目標(biāo)函數(shù)……38
5.2.3基于MILP的算法……39
5.3擴展……40
5.3.1基于路徑的安全約束……40
5.3.2目標(biāo)函數(shù)……41
5.3.3算法……41
5.4實驗結(jié)果……42
5.4.1與貪婪啟發(fā)式算法的比較……43
5.4.2與非集成方法的比較……44
5.4.3擴展……45
5.5總結(jié)……46
第6章基于TDMA系統(tǒng)的安全需求映射……47
6.1系統(tǒng)模型與公式48
6.2密鑰延時釋放…… 49
6.3映射算法……51