可信計算平台：設計與套用

圖書簡介

我們正處在一個計算機科學繁榮昌盛的時期。針對安全增強硬體的構造與使用的專門研究已有很長的歷史，並且現在逐步將其併入主流計算平台；我們無法預料未來的日子裡將發生什麼當前新興的信息基礎設施的一個基本觀點是分散式：在分散式環境中，多個參與者參與到計算中，並且其中每一個都可能有不同的興趣和動機。那么，要檢測這種分散式條件下的安全性，就需要檢測每個平台做什麼計算以及參與者必須信任哪些平台，以此來提供防止各種類型的敵手攻擊的安全屬性，如果這個參與者想要信任整個計算的話。所以安全分散式計算需要考慮那些參與計算卻擁有不同觀點的不同組織的獨立平台的可信度。我們還必須考慮這么多的參與者實際上是否信任這個平台——並且如果他們應該信任，該如何讓他們知道這一點。

書籍目錄

第1章引論1

1.1信任與計算1

1.2可信計算平台的實例2

1.3設計與套用5

1.4本書結構6

第2章動機說明8

2.1屬性8

2.2基本用途9

2.3基本用途實例10

2.4放置和利益12

2.5TCP的放置實例13

2.6觀點辯論15

2.7進一步的閱讀材料16

第3章攻擊17

3.1物理攻擊19

3.1.1沒有物理保護的敏感設備19

3.1.2單晶片設備20

3.1.3多晶片設備21

3.2軟體攻擊21

3.2.1緩衝區溢出22

3.2.2不可預期的輸入22

3.2.3語義解釋不匹配23

3.2.4檢查時間與使用時間24

3.2.5原子性25

3.2.6設計缺陷25

3.3旁通道分析26

3.3.1計時攻擊27

3.3.2能量攻擊29

3.3.3其他方法30

3.4未記錄的功能31

3.4.1例：微控制器記憶體32

3.4.2例：Flash記憶體32

3.4.3例：CPU特權33

3.7.1篡改留證36

3.7.2抗篡改36

3.7.3篡改檢測37

3.7.4篡改回響37

3.7.5操作界限37

3.8進一步的閱讀材料37

第4章研究基礎38

4.1套用和集成38

4.1.1Kent38

4.1.2ABYSS39

4.1.3Citadel40

4.1.4Dyad41

4.2體系結構42

4.2.1物理安全42

4.2.2硬體和軟體43

4.3啟動44

4.4美國國防部及相關部門46

4.5進一步的閱讀材料46

第5章設計中的挑戰47

5.1背景47

5.1.1個人因素47

5.1.2商業因素48

5.2障礙48

5.2.1硬體49

可信計算平台：設計與套用

基本介紹

圖書簡介

書籍目錄

相關詞條

熱門詞條