本書是一部關於操作繫統安全的教材,第2版在原書的基礎上進行了修訂與補充,增加了第11章“可信計算與可信操作繫統”與第12章“新型操作繫統發展與展望”。全書共分12章,全面介紹操作繫統安全的基本理論、關鍵技術和發展趨勢。主要內容包括操作繫統安全的基本概念和理論(由基本概念、安全機制、安全模型、安全體繫結構等章節構成),操作繫統安全的關鍵技術與方法(如形式化規範與驗證、隱蔽通道分析與處理、安全操作繫統設計、操作繫統安全評測和安全操作繫統的網絡擴展),可信計算與可信操作繫統技術以及面向網絡和雲計算的新型操作繫統發展趨勢與安全性分析。
本書內容豐富,題材新穎,深入淺出,特點鮮明,理論結合實際,包括操作繫統安全研究的*成果,也包括作者在此研究領域長期潛心研究的科研成果。
本書可以作為計算機、軟件工程、通信、信息安全等專業的高年級本科生、碩士生和博士生的教材,也可以作為廣大從事相關專業的教學、科研和工程技術人員的參考書。