Bell模型的修订及实施

摘要

论文分析了Bell模型对可信主体支持粒度较粗,具体实施中容易违反最小特权原则的不足,通过对可信主体的可信范围进行离散化,提出一种更符合现实需求的Bell模型修订形式--DBell(DiscreteBell)模型.DBell修订模型在敏感标记概念的框架内显式地支持最小特权原则.同时论文提出了确定可信主体及其可信读写敏感标记集合的方法,有效防止了可信主体的自身安全隐患.论文最后给出了DBell模型在SECIMOS安全操作系统中的实施。