Research of duality and multi-level security model based on intransitive noninterference theory
|更新时间:2024-10-14
|
Research of duality and multi-level security model based on intransitive noninterference theory
Vol. 30, Issue 2, Pages: 52-58(2009)
作者机构:
1. 中国科学院研究生院信息安全国家重点实验室
2. 解放军信息工程大学电子技术学院
作者简介:
基金信息:
DOI:
CLC:TP309
Published:2009
稿件说明:
移动端阅览
LIU Wei-peng1, ZHANG Xing2. Research of duality and multi-level security model based on intransitive noninterference theory[J]. 2009, 30(2): 52-58.
DOI:
LIU Wei-peng1, ZHANG Xing2. Research of duality and multi-level security model based on intransitive noninterference theory[J]. 2009, 30(2): 52-58.DOI:
Research of duality and multi-level security model based on intransitive noninterference theory
A novel duality and multi-level security model(DMLSM) based on intransitive noninterference theory was proposed
which protects confidentiality of information based on BLP model and integrity based on Biba model.To en-hance the usability of model
it introduces confidentiality trusted domain and integrality trusted domain which check the operations that violate the security policy in confidentiality check-room or integrity check-room respectively
then allow or refuse the access.The strict formal description of the model based on intransitive noninterference theory of informa-tion flow is given;furthermore
it proves the security of the model.The implementation of the model in Linux operating system is discussed and the application of model in practice is also demonstrated.The research gives Some contributes on the protection for sensitive important information and national information content security infrastructure.