內容簡介
本書繫統地介紹了計算機安全的基本原理與應用技術。全書包括九大部分，其中安全策略模型部分詳細討論了多種不同安全策略模型的原理，包括Bell-LaPadula模型、Biba模型、中國牆模型、Clark-Wilson模型等。密碼學部分重點介紹密碼學的應用，包括密鑰管理與密鑰托管、密鑰分配、網絡中的密碼繫統以及認證理論等問題。非密碼學的安全機制部分介紹計算機安全實現中的多方面內容，包括安全設計原則、身份表達、訪問控制實施、信息流控制等，同時還以專題的形式介紹了惡意代碼、漏洞分析、審計、入侵檢測等原理與技術。安全保障部分介紹可信繫統的構建與評估的理論與技術，包括安全保障原理、形式化驗證和可信繫統評估標準等。本書還包含大量的實例、科技文獻介紹以及實踐內容，為幫助讀者閱讀，還介紹了書中用到的數學知識。
讀者對像：本書內容廣博，實例詳盡，具有很高的理論與實踐參考價值，可作為研究生和高年級本科生的教材，也可供從事信息安全、計算機、通信等領域的科技人員參考。
讀者對像：本書內容廣博，實例詳盡，具有很高的理論與實踐參考價值，可作為研究生和高年級本科生的教材，也可供從事信息安全、計算機、通信等領域的科技人員參考。
