计算机安全中的经典模型

安全模型是构造安全计算机系统的基础。到目前为止，已有多种公开发表的安全模型。本文总结了几种重要的早期安全模型，其中包括访问矩阵模型，HRU模型，BLP模型、格模型和无干扰模型。并对它们进行了分类和简要评递。本文将它们称为经典安全模型。这些经典安全模型都是开创性的，从各个不同的方面对安全问题进行抽象，模型所定义的安全问题具有典型性，并对后续的研究产生了重要影响。目前，共享计算机系统的安全问题仍然是计算机科学的中心问题之一，研究这些经典模型，对于我们全面理解计算机系统的安全问题，展望未来发展方向，具有重要意义。

Typical Models of Computer Security

Security models lay the groundwork on which the secure computer systems are found. In this paper, we review several earlier seminal models .including the Access-Matrix, the HRU model, the Bell and LaPadula model, Denning's Lattice model,J. Goguen and J. Meseguer's non-interference model. We call these models typical because they or their basic concepts serve as key components of computer security. We start by discussing the classification of the typical models,then review each of them,and make brief comments on them. Since security is one of the central problems in computer science,the restudy of these typical models are very important for us to seize the essentials of computer security.