系統(tǒng)安全工藝

第1部分 歷史背景
第1章 安全概述
1.1 安全的傳統(tǒng)定義
1.2 訪問(wèn)控制矩陣
1.3 其他觀點(diǎn)
1.4 安全狀態(tài)和訪問(wèn)控制矩陣
1.5 其他安全難題
1.6 本章小結(jié)
1.7 思考和實(shí)踐
第2章 舊約
2.1 基本框架
2.2 安全模型
2.3 桔皮書
2.4 信息安全.作業(yè)安全和工作安全
2.5 本章小結(jié)
2.6 思考和實(shí)踐
第3章 舊準(zhǔn)則,新環(huán)境
3.1 桔皮書是否解決了錯(cuò)誤問(wèn)題
3.2 是否因缺乏政府支持而虎頭蛇尾
3.3 舊準(zhǔn)則是否太不實(shí)用
3.4 Saltzer牙口SChrOeder
3.5 舊準(zhǔn)則在現(xiàn)代計(jì)算環(huán)境中的適用性
3.6 本章小結(jié)
3.7 思考和實(shí)踐
第Ⅱ部分　安全與現(xiàn)代計(jì)算場(chǎng)景
第4章 操作系統(tǒng)安全
4.1 操作系統(tǒng)的背景
4.2 操作系統(tǒng)安全的基本概念和原理
4.3 真實(shí)操作系統(tǒng)：幾乎實(shí)現(xiàn)了所有功能
4.4 針對(duì)操作系統(tǒng)的攻擊
4.5 選擇何種操作系統(tǒng)
4.6 本章小結(jié)
4.7 思考和實(shí)踐
第5章 網(wǎng)絡(luò)安全
5.1 基本框架
5.2 協(xié)議
5.3 網(wǎng)絡(luò)攻防
5.4 新技術(shù).新問(wèn)題
5.5 本章小結(jié)
5.6 思考和實(shí)踐
第6章 安全實(shí)現(xiàn)
6.1 緩沖區(qū)溢出
6.2 參數(shù)驗(yàn)證和其他問(wèn)題
6.3 TOCTOU
6.4 惡意軟件
6.5 編程語(yǔ)言安全
6.6 開(kāi)發(fā)周期內(nèi)的安全
6.7 本章小結(jié)
6.8 思考與實(shí)踐
第Ⅲ部分 安全系統(tǒng)的構(gòu)成模塊
第7章 密碼學(xué)
7.1 框架和術(shù)語(yǔ)
7.2 隨機(jī)化
7.3 對(duì)稱密碼學(xué)
7.4 對(duì)稱密碼學(xué)的應(yīng)用
7.5 公鑰密碼學(xué)
7.6 hash函數(shù)
7.7 公鑰的實(shí)現(xiàn)問(wèn)題
7.8 過(guò)去和未來(lái)
7.9 本章小結(jié)
7.10 思考與實(shí)踐
第8章 密碼破解
8.1 非暴力破解對(duì)稱密鑰
8.2 暴力破解對(duì)稱密鑰
8.3 非因式分解方法破解公鑰
8.4 密碼機(jī)制實(shí)現(xiàn)破解
8.5 模數(shù)分解的可能性
8.6 本章小結(jié)
8.7 思考與實(shí)踐
第9章 身份認(rèn)證
9.1 基本框架
9.2 人的身份認(rèn)證
9.3 人為因素
9.4 從機(jī)器的角度看身份認(rèn)證
9.5 高級(jí)方法
9.6 案例研究
9.7 其他問(wèn)題
9.8 本章小結(jié)
9.9 思考與實(shí)踐
第10章 公鑰基礎(chǔ)設(shè)施.
10.1 基本定義
10.2 基本結(jié)構(gòu)
10.3 復(fù)雜性
10.4 多證書中心
lO.5 證書回收
10.6 X.5 09方案
10.7 反對(duì)觀點(diǎn)
10.8 當(dāng)前存在的問(wèn)題
10.9 本章小結(jié)
10.10 思考與實(shí)踐
第11章 標(biāo)準(zhǔn)、實(shí)施和測(cè)試
11.1 標(biāo)準(zhǔn)
11.2 策略實(shí)施
11.3 測(cè)試
11.4 本章小結(jié)
11.5 思考和實(shí)踐
第Ⅳ部分 應(yīng)用
第12章 Web及其安全
12.1 基本結(jié)構(gòu)
12.2 安全技術(shù)
12.3 隱私問(wèn)題
12.4 Web服務(wù)
12.5 本章小結(jié)
12.6 思考與實(shí)踐
第13章 辦公工具及其安全
13.1 Word
13.2 Lotus1-2-3
13.3 PDF13.4 剪切-粘貼
13.5 PKI和辦公工具
13.6 概念模型
13.7 本章小結(jié)
13.8 思考與實(shí)踐
第14章 貨幣、時(shí)間、屬性
14.1 貨幣
14.2 1時(shí)間
14.3 屬性
14.4 本章小結(jié)
14.5 思考與實(shí)踐
第Ⅴ部分新型工具
第15章 形式化方法和安全
15.1 規(guī)范
15.2 邏輯
15.3 實(shí)現(xiàn)
15.4 案例研究
15.5 了解你的銀行賬號(hào)
15.6 自動(dòng)形式化方法的不足
15.7 本章小結(jié)
15.8 思考與實(shí)踐
第16章 基于硬件的安全
16.1 數(shù)據(jù)殘留
16.2 攻擊和防御
16.3 工具
16.4 其他體系結(jié)構(gòu)
16.5 發(fā)展趨勢(shì)
16.6 本章小結(jié)
16.7 思考與實(shí)踐
第17章 搜索有害位
17.1 AI工具
17.2 應(yīng)用分類
17.3 案例研究
17.4 實(shí)壩
17.5 本章小結(jié)
17.6 思考與實(shí)踐
第18章 人為因素
18.1 最后一程
18.2 設(shè)計(jì)準(zhǔn)則
18.3 其他因素
18.4 信任
18.5 本章小結(jié)
18.6 思考與實(shí)踐
附錄A 相關(guān)理論
A.1 關(guān)系、序、格
A.2 函數(shù)
A.3 可計(jì)算性理論
A.4 框架
A.5 量廣物理和量子計(jì)算
參考文獻(xiàn)