Hades高可信架构中分区间信息流控制的研究

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

Hades高可信架构中分区间信息流控制的研究

杨霞, 古和亦, 汪强, 桑楠, 熊光泽

文章导航 > 电子科技大学学报 > 2012 > 41(1): 74-79

杨霞, 古和亦, 汪强, 桑楠, 熊光泽. Hades高可信架构中分区间信息流控制的研究[J]. 电子科技大学学报, 2012, 41(1): 74-79. doi: 10.3969/j.issn.1001-0548.2012.01.015

引用本文:

杨霞, 古和亦, 汪强, 桑楠, 熊光泽. Hades高可信架构中分区间信息流控制的研究[J]. 电子科技大学学报, 2012, 41(1): 74-79. doi: 10.3969/j.issn.1001-0548.2012.01.015

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

Hades高可信架构中分区间信息流控制的研究

doi: 10.3969/j.issn.1001-0548.2012.01.015

1.
电子科技大学计算机科学与工程学院成都 611731;
2.
中国人民武装警察部队警官学院成都 610213;
3.
许继昌南通信设备有限公司河南许昌 461000

基金项目:

国家863计划(2007AA01Z131)

作者简介:
杨霞(1978-),女,博士生,主要从事嵌入式系统可信计算方面的研究.

中图分类号: TP302.8

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

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

摘要: 为保障Hades高可信嵌入式操作系统体系架构自身的可信性,必须对其不同安全等级分区之间的信息交互进行严格的控制。该文分析了现有采用分区机制的可信系统的信息流控制方法的不足,提出了一种信息流控制模型,建立了信息流控制机制,并通过实验原型进一步验证了该信息流控制技术的正确性和有效性。
- BLP安全模型 /
- 高可信嵌入式操作系统体系架构 /
- 信息流控制 /
- 多级安全 /
- 可信分离内核
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

[1]	胡伟, 慕德俊, 黄兴利, 邰瑜. 基于门级信息流分析的安全体系架构设计 . 电子科技大学学报, 2015, 44(3): 428-432. doi: 10.3969/j.issn.1001-0548.2015.03.019
[2]	陈丽蓉, 燕立明, 罗蕾. 汽车电子嵌入式操作系统的隔离保护机制 . 电子科技大学学报, 2014, 43(3): 450-456. doi: 10.3969/j.issn.1001-0548.2014.03.023
[3]	郭玉翠, 刘思奇, 雷敏, 程明智. 基于一般系统论的信息安全系统的理论研究 . 电子科技大学学报, 2013, 42(5): 728-733. doi: 10.3969/j.issn.1001-0548.2013.05.016
[4]	桑楠, 苏芮, 廖勇, 黄小红, 侯炜, 李波. 功能性能分离的可信服务构件模型 . 电子科技大学学报, 2010, 39(2): 236-241. doi: 10.3969/j.issn.1001-0548.2010.02.018
[5]	杨霞, 雷剑, 熊光泽. 支持MLS的多层次嵌入式高可信软件架构 . 电子科技大学学报, 2009, 38(6): 1001-1005. doi: 10.3969/j.issn.1001-0548.2009.06.023
[6]	郭建东, 秦志光, 郑敏. 信息系统的安全模型 . 电子科技大学学报, 2008, 37(2): 285-288.
[7]	吴琦, 熊光泽. 嵌入式系统功耗优化电池模型 . 电子科技大学学报, 2007, 36(3): 551-554.
[8]	李向蔚, 桑楠, 熊光泽. 基于软件复用的嵌入式操作系统的定制 . 电子科技大学学报, 2007, 36(3): 559-562.
[9]	郭建东, 秦志光, 刘乃琦. 组织安全保障体系与智能ISMS模型 . 电子科技大学学报, 2007, 36(5): 838-841.
[10]	王启科, 刘心松, 邱元杰, 周涛, 黎屹. 分布式并行安全操作系统的用户一致性算法 . 电子科技大学学报, 2007, 36(2): 239-241,270.
[11]	施俞行, 高峰, 罗克露, 梁军峰. 一种适用于智能家电嵌入式软件的框架构件模型 . 电子科技大学学报, 2006, 35(5): 807-810.
[12]	杨仕平, 桑楠, 熊光泽, 刘校矢. 高可信赖实时操作系统的防危调度机制 . 电子科技大学学报, 2006, 35(1): 111-114.
[13]	陈雷霆, 文立玉, 李志刚. 信息安全评估研究 . 电子科技大学学报, 2005, 34(3): 373-376.
[14]	王丽杰, 熊光泽, 罗蕾. 嵌入式RTOS安全保护机制的研究与实现 . 电子科技大学学报, 2005, 34(5): 650-653.
[15]	肖军模. 对军用安全模型的扩展 . 电子科技大学学报, 2005, 34(2): 186-189.
[16]	吴满意, 黄小芳, 陈军. 国家安全预警系统的构建体系 . 电子科技大学学报, 2004, 33(3): 301-304.
[17]	张选芳. Internet网络安全的信息过滤模型分析 . 电子科技大学学报, 2004, 33(3): 270-272.
[18]	谭良, 罗讯, 周明天. 动态多级安全系统安全标记的格模型 . 电子科技大学学报, 2004, 33(4): 442-445.
[19]	王志祥, 肖军模. 防火墙多级安全参考模型的设计与实现 . 电子科技大学学报, 2003, 32(2): 184-187.
[20]	李艾华, 张西宁, 屈梁生. 印刷电路板诊断信息流模型及其应用 . 电子科技大学学报, 2000, 29(1): 49-53.

WeChat

点击查看大图

计量

文章访问数: 3409
HTML全文浏览量: 191
PDF下载量: 64
被引次数: 0

Hades高可信架构中分区间信息流控制的研究

doi: 10.3969/j.issn.1001-0548.2012.01.015

1. 电子科技大学计算机科学与工程学院成都 611731;

2. 中国人民武装警察部队警官学院成都 610213;

3. 许继昌南通信设备有限公司河南许昌 461000

基金项目:

国家863计划(2007AA01Z131)

作者简介:
杨霞(1978-),女,博士生,主要从事嵌入式系统可信计算方面的研究.

收稿日期: 2010-04-06
修回日期: 2011-03-02
刊出日期: 2012-02-15

中图分类号: TP302.8

关键词:

摘要: 为保障Hades高可信嵌入式操作系统体系架构自身的可信性,必须对其不同安全等级分区之间的信息交互进行严格的控制。该文分析了现有采用分区机制的可信系统的信息流控制方法的不足,提出了一种信息流控制模型,建立了信息流控制机制,并通过实验原型进一步验证了该信息流控制技术的正确性和有效性。

English Abstract

杨霞, 古和亦, 汪强, 桑楠, 熊光泽. Hades高可信架构中分区间信息流控制的研究[J]. 电子科技大学学报, 2012, 41(1): 74-79. doi: 10.3969/j.issn.1001-0548.2012.01.015

引用本文:

杨霞, 古和亦, 汪强, 桑楠, 熊光泽. Hades高可信架构中分区间信息流控制的研究[J]. 电子科技大学学报, 2012, 41(1): 74-79. doi: 10.3969/j.issn.1001-0548.2012.01.015

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

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发