基於安全需求的信息物理系統設計（簡體書）

本書介紹了信息物理系統的一些初步知識和現有安全問題、基於安全需求的設計方法、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