The Research on Definition of Multilevel Security Based on the Construction of Covert Channels

被引：0

作者：

Huang, Yong ^{[1
]}

Pan, Xuezeng ^{[2
]}

机构：

[1] Guangxi Univ Nationalities, Coll Math & Comp, Nanning, Peoples R China

[2] Zhejiang Univ, Dept Comp Sci & Technol, Hangzhou, Zhejiang, Peoples R China

来源：

2010 THE 3RD INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND INDUSTRIAL APPLICATION (PACIIA2010), VOL IV | 2010年

基金：

美国国家科学基金会;

关键词：

Covert channel; multilevel security; trusted domain;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Aiming at the main problem that the link between the formal definition of multilevel security and security goal is not always clear, we propose a new definition of multilevel security closer to the practical application. Due to the fact that separability property based on the construction of covert channels is not practical, we introduce the concept of trusted domain to the theoretical framework initiated by the characteristics of transitive and intransitive security policy. Following that two intuitive propositions with the corresponding proof are proposed.

引用

页码：80 / 82

页数：3