定 價(jià):33 元
叢書(shū)名:普通高等教育“十一五”國(guó)家級(jí)規(guī)劃教材·高等院校信息安全專業(yè)系列教材
- 作者:卿斯?jié)h ,等 著
- 出版時(shí)間:2011/6/1
- ISBN:9787302259114
- 出 版 社:清華大學(xué)出版社
- 中圖法分類:TP316
- 頁(yè)碼:349
- 紙張:膠版紙
- 版次:2
- 開(kāi)本:16開(kāi)
《操作系統(tǒng)安全(第2版)》是一部關(guān)于操作系統(tǒng)安全的教材,第2版在原書(shū)的基礎(chǔ)上進(jìn)行了修訂與補(bǔ)充,增加了第11章“可信計(jì)算與可信操作系統(tǒng)”與第12章“新型操作系統(tǒng)發(fā)展與展望”。全書(shū)共分12章,全面介紹了操作系統(tǒng)安全的基本理論、關(guān)鍵技術(shù)和發(fā)展趨勢(shì)。主要內(nèi)容包括:操作系統(tǒng)安全的基本概念和理論,由基本概念、安全機(jī)制、安全模型、安全體系結(jié)構(gòu)等章節(jié)構(gòu)成;操作系統(tǒng)安全的關(guān)鍵技術(shù)與方法,如形式化規(guī)范與驗(yàn)證、隱蔽通道的分析與處理、安全操作系統(tǒng)設(shè)計(jì)、操作系統(tǒng)安全評(píng)測(cè)和安全操作系統(tǒng)的網(wǎng)絡(luò)擴(kuò)展;新型可信計(jì)算與可信操作系統(tǒng)技術(shù),以及面向網(wǎng)絡(luò)和云計(jì)算的新型操作系統(tǒng)發(fā)展趨勢(shì)與安全性分析。
《普通高等教育“十一五”國(guó)家級(jí)規(guī)劃教材·高等院校信息安全專業(yè)系列教材:操作系統(tǒng)安全(第2版)》內(nèi)容豐富,題材新穎,深入淺出,特點(diǎn)鮮明,理論結(jié)合實(shí)際,包括操作系統(tǒng)安全研究的最新成果,也包括作者在此研究領(lǐng)域長(zhǎng)期潛心研究的科研成果。
《普通高等教育“十一五”國(guó)家級(jí)規(guī)劃教材·高等院校信息安全專業(yè)系列教材:操作系統(tǒng)安全(第2版)》可以作為計(jì)算機(jī)、軟件工程、通信、信息安全等專業(yè)的高年級(jí)本科生和研究生的教材,也可以作為廣大從事相關(guān)專業(yè)的教學(xué)、科研和工程技術(shù)人員的參考書(shū)。
教育部高等學(xué)校信息安全類專業(yè)教學(xué)指導(dǎo)委員會(huì),中國(guó)計(jì)算機(jī)學(xué)會(huì)教育專業(yè)委員會(huì)共同指導(dǎo)。 根據(jù)教育高等學(xué)校信息安全類專業(yè)教學(xué)指導(dǎo)委員會(huì)制訂的《信息安全專業(yè)指導(dǎo)性規(guī)范》組織編寫
近幾年來(lái),因特網(wǎng)的應(yīng)用迅速普及與發(fā)展,特別是我國(guó)電子政務(wù)與電子商務(wù)的應(yīng)用日新月異。信息技術(shù)的發(fā)展加大了信息共享的程度,但信息共享與信息安全是一對(duì)矛盾;因而信息共享的發(fā)展呼喚信息安全。目前,我國(guó)正在大力發(fā)展信息技術(shù)與信息基礎(chǔ)平臺(tái)的建設(shè)。與此同步,我們必須大力加強(qiáng)信息安全基礎(chǔ)設(shè)施建設(shè),首先應(yīng)當(dāng)從加強(qiáng)我國(guó)自主版權(quán)的高等級(jí)安全操作系統(tǒng)的研制與開(kāi)發(fā)抓起。
信息安全基礎(chǔ)設(shè)施的關(guān)鍵是安全操作系統(tǒng),建設(shè)以我國(guó)自主知識(shí)產(chǎn)權(quán)為基礎(chǔ)的安全操作系統(tǒng),形成一系列基于安全操作系統(tǒng)的信息安全產(chǎn)品,是加強(qiáng)我國(guó)信息安全基礎(chǔ)設(shè)施的根本保證。沒(méi)有操作系統(tǒng)安全,就不可能真正解決數(shù)據(jù)庫(kù)安全、網(wǎng)絡(luò)安全和其他應(yīng)用系統(tǒng)的安全問(wèn)題。西方國(guó)家,無(wú)論在高安全等級(jí)操作系統(tǒng)的關(guān)鍵技術(shù),還是產(chǎn)品出口方面,都對(duì)我們進(jìn)行保密與限制。在一定程度上,一個(gè)國(guó)家安全操作系統(tǒng)的研制水平,代表一個(gè)國(guó)家信息安全領(lǐng)域的整體水平。
近年來(lái),我國(guó)加強(qiáng)了安全操作系統(tǒng)的研究,包括操作系統(tǒng)安全基礎(chǔ)理論的研究與高安全等級(jí)操作系統(tǒng)的研制。但遺憾的是,長(zhǎng)期以來(lái),我國(guó)關(guān)于操作系統(tǒng)安全的著作幾乎為空白,不利于我國(guó)安全操作系統(tǒng)領(lǐng)域的整體發(fā)展。有鑒于此,基于我們?cè)诖祟I(lǐng)域的長(zhǎng)期技術(shù)積累與工程實(shí)踐,在中國(guó)科學(xué)院科學(xué)出版基金的支持下,于2003年初由科學(xué)出版社出版了《操作系統(tǒng)安全導(dǎo)論》——我國(guó)關(guān)于操作系統(tǒng)安全的第一部專著。該書(shū)不但全面介紹了操作系統(tǒng)的安全特性,總結(jié)了國(guó)際最新研究成果,也包括作者的最新成果。其中,既包含作者在安全操作系統(tǒng)理論研究方面的成果,也包含作者在工程實(shí)踐方面的成果,即安勝安全操作系統(tǒng)的設(shè)計(jì)、體系結(jié)構(gòu)與實(shí)現(xiàn)等方面的特點(diǎn)。
上述專著出版后,反響很好。不少專家與領(lǐng)導(dǎo)建議,盡快出版一部關(guān)于操作系統(tǒng)安全的教材,滿足我國(guó)高等學(xué)校和研究機(jī)構(gòu)培養(yǎng)高素質(zhì)信息安全人才的迫切需求。在清華大學(xué)出版社與本叢書(shū)編委會(huì)的大力推動(dòng)與支持下,本書(shū)第1版于2004年第一次與廣大讀者見(jiàn)面。本書(shū)發(fā)行以來(lái)受到社會(huì)廣泛好評(píng),許多高校都將本書(shū)選為本科生高年級(jí)或碩士研究生甚至博士研究生教材。在清華大學(xué)出版社的大力支持下,本書(shū)第2版已被列入十二五規(guī)劃教材,修訂出版。為了適應(yīng)學(xué)生學(xué)習(xí)與教師教學(xué)的需求,本書(shū)進(jìn)行了精心的選材和編排。本書(shū)強(qiáng)調(diào)少而精,亦即非基本的內(nèi)容不選,對(duì)精選的內(nèi)容盡量清楚、明確地闡述。其次,本書(shū)還有以下特色:書(shū)中包括作者多年來(lái)的科研成果,包含了國(guó)內(nèi)外文獻(xiàn)中很少涉及的技術(shù)細(xì)節(jié),有助于讀者加深對(duì)操作系統(tǒng)安全內(nèi)涵的理解。此外,本書(shū)每一章后面都附有習(xí)題,便于讀者對(duì)本章內(nèi)容進(jìn)行進(jìn)一步的思考。最后,本書(shū)對(duì)操作系統(tǒng)安全領(lǐng)域關(guān)鍵理論與技術(shù)的熱點(diǎn)問(wèn)題,以及面向網(wǎng)絡(luò)和云計(jì)算的新型操作系統(tǒng)發(fā)展方向進(jìn)行了探討。
操作系統(tǒng)安全(第2版)前言本書(shū)共分12章:第1章是引言(卿斯?jié)h、劉文清),介紹對(duì)操作系統(tǒng)構(gòu)成的威脅、安全操作系統(tǒng)研究的發(fā)展歷程、有關(guān)術(shù)語(yǔ)以及本書(shū)的組織與編排;第2章是基本概念(卿斯?jié)h、劉文清),介紹操作系統(tǒng)安全的基本概念及預(yù)備知識(shí);第3章是安全機(jī)制(劉文清、沈晴霓),內(nèi)容包括硬件安全機(jī)制、標(biāo)識(shí)與鑒別、自主存取控制與強(qiáng)制存取控制、最小特權(quán)管理、可信通路、安全審計(jì)等內(nèi)容,并具體介紹UNIX/Linux操作系統(tǒng)的安全機(jī)制;第4章是安全模型(卿斯?jié)h、劉海峰、沈晴霓),介紹安全模型在安全操作系統(tǒng)中的重要地位、安全模型的分類以及若干典型的安全模型(BellLaPalula、Biba、ClarkWilson、Chinese Wall、RBAC、DTE、信息流和無(wú)干擾模型);第5章是安全體系結(jié)構(gòu)(季慶光、沈晴霓),通過(guò)詳細(xì)講解兩個(gè)典型實(shí)例(權(quán)能體系和Flask體系)以及體現(xiàn)Flask體系的Linux Security Module(LSM)安全框架,說(shuō)明安全體系結(jié)構(gòu)的含義、類型、設(shè)計(jì)原則和實(shí)現(xiàn)方法;第6章是形式化規(guī)范與驗(yàn)證(溫紅子),內(nèi)容包括形式化安全驗(yàn)證的原理、系統(tǒng)結(jié)構(gòu)和典型實(shí)例——ASOS;第7章隱蔽通道分析與處理(朱繼鋒),闡述了隱蔽通道的概念、分類、標(biāo)識(shí)技術(shù)、帶寬計(jì)算技術(shù)、處理技術(shù)等內(nèi)容;第8章是安全操作系統(tǒng)設(shè)計(jì)(劉文清、沈晴霓),闡述了安全操作系統(tǒng)設(shè)計(jì)的原則、方法、過(guò)程及應(yīng)注意的問(wèn)題,并給出了幾個(gè)典型的設(shè)計(jì)實(shí)例;第9章是操作系統(tǒng)安全評(píng)測(cè)(劉海峰、劉文清),介紹評(píng)測(cè)方法以及國(guó)內(nèi)外相關(guān)評(píng)測(cè)標(biāo)準(zhǔn);第10章是安全操作系統(tǒng)的網(wǎng)絡(luò)擴(kuò)展(溫紅子、趙志科),介紹安全操作系統(tǒng)的概念、策略、機(jī)制等在網(wǎng)絡(luò)上的擴(kuò)展和應(yīng)用;第11章是可信計(jì)算與可信操作系統(tǒng)(卿斯?jié)h、沈晴霓),介紹可信計(jì)算的概念和技術(shù),以及基于TPM/TCM可信操作系統(tǒng)的核心技術(shù);第12章是新型操作系統(tǒng)發(fā)展與展望(卿斯?jié)h、沈晴霓),介紹隨著安全問(wèn)題的日益突出和云計(jì)算新技術(shù)的出現(xiàn),當(dāng)前業(yè)界十分關(guān)注的新型網(wǎng)絡(luò)化和云操作系統(tǒng)的發(fā)展及其安全技術(shù)方面的展望。全書(shū)由卿斯?jié)h、沈晴霓統(tǒng)稿。
在本書(shū)的修訂過(guò)程中,得到了中國(guó)科學(xué)院信息安全技術(shù)工程研究中心廣大科研人員的鼓勵(lì)、支持和幫助,并受益于作者在北京大學(xué)軟件與微電子學(xué)院信息安全系的多年教學(xué)和科研工作。本書(shū)涉及的許多科研成果,是他們共同努力下完成的,在此,我們特別感謝中國(guó)科學(xué)院軟件研究所倪惜珍研究員、賀也平副研究員、朱繼鋒博士、季慶光博士、李麗萍博士、唐柳英博士、趙志科碩士等以及北京大學(xué)軟件與微電子學(xué)院信息安全系參與本書(shū)相關(guān)文獻(xiàn)檢索和整理的研究生們。
本書(shū)在寫作與出版以及作者對(duì)操作系統(tǒng)安全的研究中,得到了中國(guó)科學(xué)院,北京大學(xué),公安部,國(guó)家保密局,中國(guó)科學(xué)院軟件研究所,國(guó)家自然科學(xué)基金委員會(huì),中國(guó)電子學(xué)會(huì),中國(guó)計(jì)算機(jī)學(xué)會(huì),清華大學(xué)出版社,以及張效祥、何德全、沈昌祥、汪成為、蔡吉人、周仲義、魏正耀、胡啟恒、李未、倪光南等院士以及中國(guó)科學(xué)院高技術(shù)研究與發(fā)展局局長(zhǎng)桂文莊研究員等單位和專家的支持與鼓勵(lì),在此一并致謝。
本書(shū)的出版得到國(guó)家自然科學(xué)基金(60083007,60573042,60873238,60970135)和國(guó)家重點(diǎn)基礎(chǔ)研究發(fā)展規(guī)劃項(xiàng)目(G1999035810)的支持,在此表示感謝。作者還特別感謝本叢書(shū)的編委會(huì)主任肖國(guó)鎮(zhèn)教授,對(duì)他的一貫支持與指導(dǎo)表示謝意。作者同時(shí)感謝本書(shū)的審稿專家胡道元教授,他對(duì)本書(shū)的架構(gòu)與組織提出了寶貴建議。最后,作者感謝清華大學(xué)出版社的廣大員工,他們?yōu)楸緯?shū)的順利出版付出了大量心血。
本書(shū)作為研究生教材,主要的讀者對(duì)象是高年級(jí)本科生、碩士和博士研究生,也可供計(jì)算機(jī)、信息和通信等相關(guān)專業(yè)的教學(xué)、科研和工程技術(shù)人員參考。受作者水平與時(shí)間倉(cāng)促的限制,如書(shū)中出現(xiàn)錯(cuò)誤與不足,敬請(qǐng)廣大讀者不吝賜教。
作者2011年03月
卿斯?jié)h,北京大學(xué)信息安全系主任,中國(guó)科學(xué)院軟件研究所首席研究員,教授,博士生導(dǎo)師,國(guó)內(nèi)外著名的密碼學(xué)家、信息安全專家,F(xiàn)為國(guó)家保密局技術(shù)顧問(wèn)、中共中央辦公廳保密技術(shù)攻防重點(diǎn)實(shí)驗(yàn)室學(xué)術(shù)委員會(huì)委員、中國(guó)電子學(xué)會(huì)理事、中國(guó)計(jì)算機(jī)學(xué)會(huì)信息保密專委會(huì)副主任、中國(guó)信息協(xié)會(huì)信息安全專委會(huì)副主任、全國(guó)信息安全標(biāo)準(zhǔn)化技術(shù)委員會(huì)委員、可信計(jì)算工作組組長(zhǎng)、亞洲密碼學(xué)會(huì)執(zhí)行委員會(huì)委員、國(guó)際信息處理聯(lián)合會(huì)(IFIP)中國(guó)委員、國(guó)際信息處理聯(lián)合會(huì)信息安全委員會(huì)(IFIP TCll)中國(guó)代表、微軟公司全球?qū)<椅瘑T會(huì)(TCAAB)委
第1章 引言
1.1 操作系統(tǒng)面臨安全威脅
1.1.1 病毒和蠕蟲(chóng)
1.1.2 邏輯炸彈
1.1.3 特洛伊木馬
1.1.4 天窗
1.1.5 隱蔽通道
1.2 操作系統(tǒng)安全和信息系統(tǒng)安全
1.3 安全操作系統(tǒng)的國(guó)內(nèi)外研究現(xiàn)狀
1.4 相關(guān)術(shù)語(yǔ)
1.5 《普通高等教育“十一五”國(guó)家級(jí)規(guī)劃教材·高等院校信息安全專業(yè)系列教材:操作系統(tǒng)安全(第2版)》的組織和編排
1.6 本章小結(jié)
1.7 習(xí)題
第2章 基本概念
2.1 系統(tǒng)邊界與安全周界
2.2 安全功能與安全保證
2.3 可信軟件與不可信軟件
2.4 主體與客體
2.5 安全策略和安全模型
2.6 訪問(wèn)控制思想
2.6.1 訪問(wèn)控制矩陣
2.6.2 引用監(jiān)控器
2.6.3 安全內(nèi)核
2.7 可信計(jì)算基
2.8 本章小結(jié)
2.9 習(xí)題
第3章 安全機(jī)制
3.1 硬件安全機(jī)制
3.1.1 存儲(chǔ)保護(hù)
3.1.2 運(yùn)行保護(hù)
3.1.3 I/O保護(hù)
3.2 標(biāo)識(shí)與鑒別
3.2.1 基本概念
3.2.2 安全操作系統(tǒng)中的標(biāo)識(shí)與鑒別機(jī)制
3.2.3 與鑒別有關(guān)的認(rèn)證機(jī)制
3.2.4 口令管理
3.2.5 實(shí)現(xiàn)要點(diǎn)
3.3 訪問(wèn)控制
3.3.1 自主訪問(wèn)控制
3.3.2 強(qiáng)制訪問(wèn)控制
3.4 最小特權(quán)管理
3.4.1 基本思想
3.4.2 POSIX權(quán)能機(jī)制
3.4.3 特權(quán)細(xì)分
3.4.4 一個(gè)最小特權(quán)管理機(jī)制的實(shí)現(xiàn)舉例
3.5 可信路徑
3.6 安全審計(jì)
3.6.1 審計(jì)的概念
3.6.2 審計(jì)事件
3.6.3 審計(jì)記錄和審計(jì)日志
3.6.4 一般操作系統(tǒng)審計(jì)的實(shí)現(xiàn)
3.7 UNIX/Linux的安全機(jī)制
3.7.1 標(biāo)識(shí)
3.7.2 鑒別
3.7.3 訪問(wèn)控制
3.7.4 審計(jì)
3.7.5 密碼
3.7.6 網(wǎng)絡(luò)安全性
3.7.7 網(wǎng)絡(luò)監(jiān)控與入侵檢測(cè)
3.7.8 備份/恢復(fù)
3.8 本章小結(jié)
3.9 習(xí)題
第4章 安全模型
第5章 安全體系結(jié)構(gòu)
第6章 形式化規(guī)范與驗(yàn)證
第7章 隱蔽通道分析與處理
第8章 安全操作系統(tǒng)設(shè)計(jì)
第9章 操作系統(tǒng)安全評(píng)測(cè)
第10章 安全操作系統(tǒng)的網(wǎng)絡(luò)擴(kuò)展
第11章 可信計(jì)算與可信操作系統(tǒng)
第12章 新型操作系統(tǒng)發(fā)展與展望
參考文獻(xiàn)