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

譯者序 

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

原書前言 

縮略語(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訪問控制邏輯 

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

1.7 HOL中的訪問控制邏輯 

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章 通過物聯(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未來研究方向和結(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ì)算：界面、情感、穿戴者的文化和安全/隱私問題 

羅伯特 馬克勞得（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è)備的隱私/安全問題 

6.7對(duì)未來可穿戴設(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 通過基本家庭供暖系統(tǒng)模型來說明各種攻擊 

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

7.7討論與結(jié)論 

參考文獻(xiàn) 

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

馬克 安德伍德（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)于未來基于人工智能的物聯(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未來的研究 

11.9結(jié)論 

參考文獻(xiàn) 

附錄 

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

B 詞匯表 

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

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