访问控制模型分析

自20世纪70年代起，Denning、Bell、Lapadula等人对信息安全进行了大量的理论研究，特别是在1985年美国国防部颁布可信计算机评估标准以来，系统安全模型得到了广泛的研究，并实现了多种安全模型。在这些模型中，总体上可以分为2大类，即访问控制模型和信息流模型。