计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (12): 19-21.
张 俊1,周 正1,李 建2,刘 毅2
ZHANG Jun1,ZHOU Zheng1,LI Jian2,LIU Yi2
摘要: BLP模型是最经典的机密性模型,Biba模型则是最经典的完整性模型。绝大多数主客体机密性和完整性具有一致性,BLP模型和Biba模型就产生矛盾。提出了机密性和完整性的动态统一模型,给出了一系列安全规则,引入访问历史标记,动态调整主体的安全标记,将BLP和Biba真正结合起来,实现了机密性和完整性的统一,使系统具有较好的可用性。并给出了实例对模型进行了说明。