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

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