一种对多级安全模型安全性的分析方法

Keywords: [BLP模型, 多级安全, 不干扰模型, 访问控制, 安全模型, BLP model, multilevel security, noninterference model, access control, security model]

Full-Text   Cite this paper   Add to My Lib

Abstract:

由于BLP模型的基本安全公理不能完全证明模型的安全性，因此，..

Full-Text