??內容簡介

《基於安全需求的信息物理繫統設計》介紹了信息物理繫統的一些初步知識和現有安全問題、基於安全需求的設計方法、CAN協議的安全機制、基於CAN和TDMA繫統的安全需求映射問題和算法、用於V2V通信的安全需求優化問題和算法、基於狀態機和基於圖形的安全需求設計問題，本書還指出一些未來的發展方向。

《基於安全需求的信息物理繫統設計》契合智能網聯汽車對高安全性的要求，非常適合汽車行業技術人員學習參考，也適合通信、網絡等相關行業車載應用研究方面的技術人員參考閱讀，對於車輛工程專業師生也會有所幫助。

??目錄

??

*1章簡介1

*2章信息物理繫統安全威脅4

第3章基於安全需求的設計方法7

3*1安全需求映射7

3*2安全機制選擇9

3*3體繫架構選擇9

3*4基於安全需求的設計示例10

3*5總結12

第4章CAN協議繫統的

安全機制13

4*1繫統模型和攻擊者模型14

4*2安全機制16

4*2*1基本認證17

4*2*2*級機制19

4*3計數器的實現20

4*4計數器復位機制22

4*4*1自愈復位機制23

4*4*2網絡復位機制23

4*5分析25

4*6總結28

第5章基於CAN總線繫統的安全

需求映射29

5*1繫統模型與公式30

5*1*1繫統模型30

5*1*2信息安全約束和密鑰分發31

5*1*3功能安全約束33

5*2映射算法33

5*2*1約束34

5*2*2目標函數38

5*2*3基於MILP的算法39

5*3擴展40

5*3*1基於路徑的安全約束40

5*3*2目標函數41

5*3*3算法41

5*4實驗結果42

5*4*1與貪婪啟發式算法的比較43

5*4*2與非集成方法的比較44

5*4*3擴展45

5*5總結46

第6章基於TDMA繫統的安全

需求映射47

6*1繫統模型與公式48

6*2密鑰延時釋放 49

6*3映射算法51

6*3*1概述51

6*3*2任務分配和優先級分配52

6*3*3信號映射52

6*3*4網絡調度53

6*3*5*大傳輸延遲分析55

6*3*6間隔時長探索59

6*3*7網絡調度優化59

6*4實驗結果59

6*5總結61

第7章車車通信中基於安全

需求的設計63

7*1公式63

7*2算法67

7*3實驗結果68

7*4總結71

第8章狀態機繫統基於安全需求的

設計72

第9章以圖論為基礎的基於安全

需求的設計75

9*1多路徑時的安全性75

9*2網絡分區的安全性76

9*3總結78

*10章結論79

參考文獻81