計(jì)算機(jī)系統(tǒng)安全

內(nèi)容概要

本書詳細(xì)論述了計(jì)算機(jī)系統(tǒng)的安全需求、安全對(duì)策、安全模型以及安全系統(tǒng)構(gòu)建理論， 系統(tǒng)介紹了安全策略與安全模型在可信操作系統(tǒng)設(shè)計(jì)與通用操作系統(tǒng)保護(hù)等方面的相關(guān)實(shí)踐問題。書中對(duì)與計(jì)算機(jī)系統(tǒng)安全相關(guān)的常用密碼學(xué)技術(shù)與密碼協(xié)議理論做了詳細(xì)介紹和分析。另外，本書還從計(jì)算機(jī)系統(tǒng)對(duì)抗的角度出發(fā)，系統(tǒng)討論了計(jì)算機(jī)病毒原理及其防治、計(jì)算機(jī)病毒檢測(cè)與標(biāo)識(shí)的基本理論以及入侵檢測(cè)的方法與技術(shù)等問題。     本書可作為計(jì)算機(jī)、信息安全、信息對(duì)抗等專業(yè)高年級(jí)本科生或研究生的教學(xué)用書，也可作為相關(guān)領(lǐng)域的研究和工程技術(shù)人員的參考用書。

書籍目錄

第1章  計(jì)算機(jī)安全引論    1.1  計(jì)算機(jī)安全  1.2  計(jì)算機(jī)系統(tǒng)安全的重要性   1.3  計(jì)算機(jī)系統(tǒng)的安全對(duì)策   1.4  計(jì)算機(jī)系統(tǒng)的安全技術(shù)    1.5  計(jì)算機(jī)安全的內(nèi)容及專業(yè)層次   習(xí)題 第2章  計(jì)算機(jī)安全策略    2.1  系統(tǒng)的安全需求及安全策略的定義    2.2  安全策略的分類    2.3  安全策略的形式化描述  2.4  安全策略的選擇   2.5  小結(jié)   習(xí)題  第3章  訪問控制策略   3.1  訪問控制    3.2  訪問控制策略   3.3  安全核與引用監(jiān)控器  3.4  訪問矩陣模型   習(xí)題   第4章  Bell-LaPadula多級(jí)安全模型    4.1  軍用安全格模型   4.2  BLP模型介紹    4.3  BLP模型元素   4.4  BLP模型的幾個(gè)重要公理    4.5  BLP狀態(tài)轉(zhuǎn)換規(guī)則   4.6  BLP 模型的幾個(gè)重要定理    4.7  BellLaPadula模型的局限性    習(xí)題 第5章  安全模型的構(gòu)建    5.1  建模的方法步驟   5.2  模型構(gòu)建實(shí)例   習(xí)題 第6章  可信操作系統(tǒng)設(shè)計(jì)   6.1  什么是可信的操作系統(tǒng)   6.2  安全策略   6.3  安全模型   6.4  設(shè)計(jì)可信操作系統(tǒng)   6.5  可信操作系統(tǒng)的保證   6.6  實(shí)例分析   6.7  可信操作系統(tǒng)總結(jié)   習(xí)題  第7章  通用操作系統(tǒng)的保護(hù)   7.1  被保護(hù)的對(duì)象和保護(hù)方法   7.2  內(nèi)存和地址保護(hù)   7.3  一般對(duì)象的訪問控制   7.4  文件保護(hù)機(jī)制    7.5  用戶認(rèn)證    7.6  小結(jié)  7.7  未來發(fā)展方向   習(xí)題第8章  密碼學(xué)基本理論   8.1  密碼學(xué)介紹   8.2  對(duì)稱密碼   8.3  公鑰密碼  習(xí)題 第9章  密碼協(xié)議基本理論  9.1  引言   9.2  身份鑒別（認(rèn)證）協(xié)議   ……第10章  計(jì)算機(jī)病毒基本知識(shí)及其防治 第11章  計(jì)算機(jī)病毒檢測(cè)與標(biāo)識(shí)的幾個(gè)理論結(jié)果第12章  入侵檢測(cè)的方法與技術(shù) 參考文獻(xiàn)

圖書封面

評(píng)論、評(píng)分、閱讀與下載

---

    計(jì)算機(jī)系統(tǒng)安全 PDF格式下載

---