BLP模型的完整性增强研究

TN918.1; 在BLP模型的基础上,提出了BLP模型的一个完整性增强模型--EIBLP模型.该模型在不改变BLP模型信息流方向(下读上写)的基础上对上行信息流增加了必要的限制,并对BLP模型安全公理、主客体访问控制标签、访问控制操作模式以及状态转移规则进行了改进,且对该模型的安全性进行了分析并给出了证明.结果表明,改进后的EIBLP模型不仅仍然满足BLP模型的基本安全特性,而且通过改进BLP模型信息上行约束条件、主客体的安全标签、扩展模型操作模式、完善模型状态转移规则等方法,有效提高了BLP模型的完整性,并在一定程度上提高了机密性....

Full description

Saved in:
Bibliographic Details
Published in通信学报 Vol. 31; no. 2; pp. 100 - 106
Main Authors 刘彦明, 董庆宽, 李小平
Format Journal Article
LanguageChinese
Published 西安电子科技大学,通信工程学院,陕西,西安,710071 2010
Subjects
BLP model
multilevel security
BLP模型
integrity
信息安全
information security
完整性
多级安全
Online AccessGet full text
ISSN1000-436X
DOI10.3969/j.issn.1000-436X.2010.02.015

Cover

More Information
Summary:TN918.1; 在BLP模型的基础上,提出了BLP模型的一个完整性增强模型--EIBLP模型.该模型在不改变BLP模型信息流方向(下读上写)的基础上对上行信息流增加了必要的限制,并对BLP模型安全公理、主客体访问控制标签、访问控制操作模式以及状态转移规则进行了改进,且对该模型的安全性进行了分析并给出了证明.结果表明,改进后的EIBLP模型不仅仍然满足BLP模型的基本安全特性,而且通过改进BLP模型信息上行约束条件、主客体的安全标签、扩展模型操作模式、完善模型状态转移规则等方法,有效提高了BLP模型的完整性,并在一定程度上提高了机密性.
ISSN:1000-436X
DOI:10.3969/j.issn.1000-436X.2010.02.015