第一部分 緒論
第1章 計算機安全概述
1.1 基本安全服務
1.2 威脅
1.3 策略與機製
1.4 假設和信任
1.5 安全保障
1.6 運作問題
1.7 人為因素
1.8 整閤
1.9 本章小結
1.10 研究議題
1.11 進階閱讀
1.12 習題
第二部分 基礎知識
第2章 訪問控製矩陣
2.1 保護狀態
2.2 訪問控製矩陣模型
2.3 保護狀態轉換
2.4 復製、擁有和權限衰減規則
2.5 本章小結
2.6 研究議題
2.7 進階閱讀
2.8 習題
第3章 基礎結論
3.1 一般性的問題
3.2 基本結果
3.3 Take-Grant保護模型
3.4 縮小差距
3.5 錶達能力和模型
3.6 本章小結
3.7 研究議題
3.8 進階閱讀
3.9 習題
第三部分 策略
第4章 安全策略
……
第5章 保密性策略
第6章 完整性策略
第7章 混閤策略
第8章 不乾涉屬性與策略復閤
第四部分 實現I:密碼學
第9章 密碼學基礎
第10章 密鑰管理
第11章 密碼技術
第12章 認證
第五部分 實現II:係統
第13章 設計原則
第14章 身份錶達
第15章 訪問控製機製
第16章 信息流
第17章 限製問題
第六部分 安全保障
第18章 安全保障導論
第19章 構建有安全保障的係統
第20章 形式化方法
第21章 係統評估
第七部分 專題
第22章 惡意代碼
第23章 漏洞分析
第24章 審計
第25章 入侵檢測
第26章 網絡安全
第27章 係統安全
第28章 用戶安全
第29章 程序安全
第九部分 尾章
第30章 格
第31章 擴展Euclid算法
第32章 熵和不確定性
第33章 虛擬機
第34章 符號邏輯
第35章 學院式安全策略實例
參考文獻
· · · · · · (收起)