多级安全模型  

Multilevel security model

作　　者：于昇[1,2] 祝璐[3] 沈昌祥[2] 

机构地区：[1]解放军信息工程大学电子技术学院,河南郑州450004 [2]北京工业大学计算机学院,北京100022 [3]武汉大学计算机学院,湖北武汉430072

出　　处：《计算机工程与设计》2010年第13期2939-2942,2950,共5页Computer Engineering and Design

基　　金：国家973重点基础研究发展计划基金项目(2007CB311100)

摘　　要：针对经典BLP模型的部分主体权限过大的问题,基于可信计算技术,将可信的思想和时间特性融入到安全模型的设计,提出了基于时间可信的BLP模型(TTBLP)。该模型以BLP模型为基础,引入可信状态和可信范畴的概念,动态调节主体的访问范围,保证了只有符合可信状态安全要求的主体才能访问特定可信范畴中的客体,并给出了TTBLP安全模型的基本设计思想、定义、公理和定理。实验结果表明,该模型弥补了经典BLP模型的不足,增强了系统的安全性和灵活性。According to the problem of the BLP model,a security model named TTBLP is proposed,which extends the BLP model with the notion of trusted computing and time.Our proposal regulates access control dynamically by the concept of trust state and trust category.The model is used to explain how to reason about subjects in a special trust state can access objects belonging to a special trust category.The design principle and the formal description are given.Our model is proved can solve problem mentioned above and enhance the BLP model.

关 键 词：可信 可信计算 多级安全模型 BLP模型 访问控制 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]