Inter-Partition Information Flow Control in High-Trusted Architecture Hades

YANG Xia; GU He-yi; WANG Qiang; SANG Nan; XIONG Guang-ze

doi:10.3969/j.issn.1001-0548.2012.01.015

PDF
Cite
Share

facebook

twitter

google

linkedin

Volume 41 Issue 1

May 2017

Article Contents

Article Navigation > Journal of University of Electronic Science and Technology of China > 2012 > 41(1): 74-79

YANG Xia, GU He-yi, WANG Qiang, SANG Nan, XIONG Guang-ze. Inter-Partition Information Flow Control in High-Trusted Architecture Hades[J]. Journal of University of Electronic Science and Technology of China, 2012, 41(1): 74-79. doi: 10.3969/j.issn.1001-0548.2012.01.015

Citation:

YANG Xia, GU He-yi, WANG Qiang, SANG Nan, XIONG Guang-ze. Inter-Partition Information Flow Control in High-Trusted Architecture Hades[J]. Journal of University of Electronic Science and Technology of China, 2012, 41(1): 74-79. doi: 10.3969/j.issn.1001-0548.2012.01.015

Inter-Partition Information Flow Control in High-Trusted Architecture Hades

doi: 10.3969/j.issn.1001-0548.2012.01.015

1.
School of Computer Science and Engineering,University of Electronic Science and Technology of China Chengdu 611731;
2.
Police Officer College,Chinese People's Armed Police Force Chengdu 10213;
3.
XJ Changnan Communication Equipment Co. Ltd Xuchang Henan 461000

Received Date: 2010-04-06
Rev Recd Date: 2011-03-02
Publish Date: 2012-02-15

Abstract

To assure the trustworthiness of high-trusted architecture of embedded operating system that named Hades, the inter-partition information flow of Hades must be controlled strictly. By analyzing the limitation of existing methods, we present a new information flow control model and construct a information flow mechanism between partitions. The accuracy of these model and mechanism are verified through the experiment.
- BLP security model,
- high-trusted architecture of embedded operating system,
- information flow control,
- multi-level security,
- trusted separation kernel
References
Proportional views

通讯作者: 陈斌, bchen63@163.com

1.
沈阳化工大学材料科学与工程学院沈阳 110142

Get Citation

PDF

XML

Article Metrics

Article views(3531) PDF downloads(64) Cited by()

Proportional views