物聯(lián)網(wǎng)安全與網(wǎng)絡(luò)保障

譯者序 

原書(shū)序：有效的網(wǎng)絡(luò)保障對(duì)物聯(lián)網(wǎng)至關(guān)重要 

原書(shū)前言 

縮略語(yǔ) 

引言 

第一部分 嵌入式安全設(shè)計(jì) 

第1章 為物聯(lián)網(wǎng)設(shè)計(jì)認(rèn)證安全 

1.1簡(jiǎn)介 

1.2微電子革命的教訓(xùn) 

1.3經(jīng)設(shè)計(jì)認(rèn)證的安全性 

1.4章節(jié)概述 

1.5訪問(wèn)控制邏輯 

1.6 高階邏輯HOL簡(jiǎn)介 

1.7 HOL中的訪問(wèn)控制邏輯 

1.8高階邏輯中的密碼組件及其模型 

1.9加密哈希函數(shù) 

1.10非對(duì)稱密鑰加密 

1.11數(shù)字簽名 

1.12為狀態(tài)機(jī)添加安全性 

1.13經(jīng)設(shè)計(jì)認(rèn)證的網(wǎng)絡(luò)恒溫器 

1.14恒溫器使用案例 

1.15服務(wù)器和恒溫器的安全上下文 

1.16頂層的恒溫安全狀態(tài)機(jī) 

1.17精制恒溫安全狀態(tài)機(jī) 

1.18頂級(jí)和精制的安全狀態(tài)機(jī)的等效性 

1.19結(jié)論 

附錄 

參考文獻(xiàn) 

第2章 通過(guò)物聯(lián)網(wǎng)的嵌入式安全設(shè)計(jì)實(shí)現(xiàn)網(wǎng)絡(luò)保障 

泰森T.布魯克斯（Tyson T. Brooks），瓊帕克（Joon Park） 

2.1引言 

2.2 網(wǎng)絡(luò)安全與網(wǎng)絡(luò)保證 

2.3 識(shí)別，設(shè)防，重建，生存 

2.4結(jié)論 

參考文獻(xiàn) 

第3章 物聯(lián)網(wǎng)設(shè)備安全更新機(jī)制 

馬丁?戈德堡（Martin Goldberg） 

3.1引言 

3.2物聯(lián)網(wǎng)安全的重要性 

3.3 應(yīng)用縱深防御策略更新 

3.4 標(biāo)準(zhǔn)方法 

3.5結(jié)論 

參考文獻(xiàn) 

第二部分 信任的影響 

第4章 物聯(lián)網(wǎng)的安全和信任管理：RFID和傳感器網(wǎng)絡(luò)場(chǎng)景 

M.巴拉 奎師那（M.Bala Krishna） 

4.1 引言 

4.2 物聯(lián)網(wǎng)的安全與信任 

4.3 射頻識(shí)別：演變與方法 

4.4 無(wú)線傳感器網(wǎng)絡(luò)中的安全與信任 

4.5 物聯(lián)網(wǎng)和RFID在實(shí)時(shí)環(huán)境中的應(yīng)用 

4.6未來(lái)研究方向和結(jié)論 

參考文獻(xiàn) 

第5章 物聯(lián)網(wǎng)設(shè)備對(duì)網(wǎng)絡(luò)信任邊界的影響 

妮科爾 紐美耶（Nicole Newmeyer） 

5.1引言 

5.2信任邊界 

5.3風(fēng)險(xiǎn)決策和結(jié)論 

參考文獻(xiàn) 

第三部分 可穿戴自動(dòng)化技術(shù)回顧 

第6章 可穿戴物聯(lián)網(wǎng)計(jì)算：界面、情感、穿戴者的文化和安全/隱私問(wèn)題 

羅伯特 馬克勞得（Robert McCloud），瑪莎 雷斯基（Martha Lerski）， 

瓊帕克（Joon Park），泰森T.布魯克斯（Tyson T. Brooks） 

6.1引言 

6.2可穿戴計(jì)算的數(shù)據(jù)精度 

6.3界面與文化 

6.4情感與隱私 

6.5可穿戴設(shè)備的隱私保護(hù)策略 

6.6關(guān)于可穿戴設(shè)備的隱私/安全問(wèn)題 

6.7對(duì)未來(lái)可穿戴設(shè)備的期望 

參考文獻(xiàn) 

第7章 基于面向消費(fèi)者的閉環(huán)控制自動(dòng)化系統(tǒng)的物聯(lián)網(wǎng)漏洞 

馬丁 穆里洛（Martin Murillo） 

7.1引言 

7.2工業(yè)控制系統(tǒng)和家庭自動(dòng)化控制 

7.3 漏洞識(shí)別 

7.4 基本對(duì)控制環(huán)路和服務(wù)提供商攻擊的建模和仿真 

7.5 通過(guò)基本家庭供暖系統(tǒng)模型來(lái)說(shuō)明各種攻擊 

7.6 對(duì)受到攻擊的可能經(jīng)濟(jì)后果的預(yù)見(jiàn) 

7.7討論與結(jié)論 

參考文獻(xiàn) 

第8章 物聯(lián)網(wǎng)的大數(shù)據(jù)復(fù)雜事件處理：審計(jì)、取證和安全的來(lái)源 

馬克 安德伍德（Mark Underwood） 

8.1 復(fù)雜事件處理概述 

8.2 物聯(lián)網(wǎng)在審計(jì)、取證和安全方面的安全挑戰(zhàn)及需求 

8.3 在物聯(lián)網(wǎng)環(huán)境中采用CEP的挑戰(zhàn) 

8.4 CEP與物聯(lián)網(wǎng)安全可視化 

8.5總結(jié) 

8.6結(jié)論 

參考文獻(xiàn) 

第四部分 網(wǎng)絡(luò)物理系統(tǒng)的云人工智能 

第9章 云計(jì)算-物聯(lián)網(wǎng)結(jié)構(gòu)中安全保障機(jī)制的穩(wěn)態(tài)框架 

泰森T.布魯克斯（Tyson T. Brooks），李?麥克奈特（Lee McKnight） 

9.1引言 

9.2背景 

9.3建立云計(jì)算-物聯(lián)網(wǎng)的分析框架 

9.4 云計(jì)算-物聯(lián)網(wǎng)的穩(wěn)態(tài)框架 

9.5結(jié)論 

參考文獻(xiàn) 

第10章 確保物聯(lián)網(wǎng)網(wǎng)絡(luò)保障的人工智能方法 

烏庫(kù)科奇（Utku Ko¨SE） 

10.1引言 

10.2物聯(lián)網(wǎng)中與人工智能相關(guān)的網(wǎng)絡(luò)保障研究 

10.3多學(xué)科智能為人工智能提供機(jī)遇 

10.4關(guān)于未來(lái)基于人工智能的物聯(lián)網(wǎng)網(wǎng)絡(luò)保障的研究 

10.5結(jié)論 

參考文獻(xiàn) 

第11章 網(wǎng)絡(luò)物理系統(tǒng)的感知威脅建模 

克里斯托弗 里博納特（Christopher leberknight） 

11.1引言 

11.2物理安全概述 

11.3接地理論的相關(guān)性 

11.4理論模型的構(gòu)建 

11.5實(shí)驗(yàn) 

11.6結(jié)果 

11.7討論 

11.8未來(lái)的研究 

11.9結(jié)論 

參考文獻(xiàn) 

附錄 

A IEEE物聯(lián)網(wǎng)標(biāo)準(zhǔn)清單 

B 詞匯表 

C CSBD溫控器報(bào)告 

D CSBD訪問(wèn)控制邏輯報(bào)告