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

譯者序 

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

原書前言 

縮略語 

引言 

第一部分 嵌入式安全設計 

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

1.1簡介 

1.2微電子革命的教訓 

1.3經(jīng)設計認證的安全性 

1.4章節(jié)概述 

1.5訪問控制邏輯 

1.6 高階邏輯HOL簡介 

1.7 HOL中的訪問控制邏輯 

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

1.9加密哈希函數(shù) 

1.10非對稱密鑰加密 

1.11數(shù)字簽名 

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

1.13經(jīng)設計認證的網(wǎng)絡恒溫器 

1.14恒溫器使用案例 

1.15服務器和恒溫器的安全上下文 

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

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

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

1.19結論 

附錄 

參考文獻 

第2章 通過物聯(lián)網(wǎng)的嵌入式安全設計實現(xiàn)網(wǎng)絡保障 

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

2.1引言 

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

2.3 識別，設防，重建，生存 

2.4結論 

參考文獻 

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

馬丁?戈德堡（Martin Goldberg） 

3.1引言 

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

3.3 應用縱深防御策略更新 

3.4 標準方法 

3.5結論 

參考文獻 

第二部分 信任的影響 

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

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

4.1 引言 

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

4.3 射頻識別：演變與方法 

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

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

4.6未來研究方向和結論 

參考文獻 

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

妮科爾 紐美耶（Nicole Newmeyer） 

5.1引言 

5.2信任邊界 

5.3風險決策和結論 

參考文獻 

第三部分 可穿戴自動化技術回顧 

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

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

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

6.1引言 

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

6.3界面與文化 

6.4情感與隱私 

6.5可穿戴設備的隱私保護策略 

6.6關于可穿戴設備的隱私/安全問題 

6.7對未來可穿戴設備的期望 

參考文獻 

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

馬丁 穆里洛（Martin Murillo） 

7.1引言 

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

7.3 漏洞識別 

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

7.5 通過基本家庭供暖系統(tǒng)模型來說明各種攻擊 

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

7.7討論與結論 

參考文獻 

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

馬克 安德伍德（Mark Underwood） 

8.1 復雜事件處理概述 

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

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

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

8.5總結 

8.6結論 

參考文獻 

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

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

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

9.1引言 

9.2背景 

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

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

9.5結論 

參考文獻 

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

烏庫科奇（Utku Ko¨SE） 

10.1引言 

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

10.3多學科智能為人工智能提供機遇 

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

10.5結論 

參考文獻 

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

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

11.1引言 

11.2物理安全概述 

11.3接地理論的相關性 

11.4理論模型的構建 

11.5實驗 

11.6結果 

11.7討論 

11.8未來的研究 

11.9結論 

參考文獻 

附錄 

A IEEE物聯(lián)網(wǎng)標準清單 

B 詞匯表 

C CSBD溫控器報告 

D CSBD訪問控制邏輯報告