基於安全需求的信息物理系統設計
內容描述
《基於安全需求的信息物理系統設計》介紹了信息物理系統的一些初步知識和現有安全問題、基於安全需求的設計方法、
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
作者介紹
譯者羅瓔珞女士
南洋理工大學碩士畢業，
2001-2004，中國電信系統集成公司任產品經理；
2004-2014，諾基亞中國有限公司任產品經理；
2015-2019 ，中國信息通信研究院泰爾終端實驗室任主任工程師；
2019至今，國汽智聯公司任信息安全主任工程師。
