检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:崔西宁[1] 王聪琳[2] 裴庆祺[2] 李亚晖 沈玉龙[1]
机构地区:[1]西安电子科技大学计算机学院,西安710071 [2]西安电子科技大学通信工程学院,西安710071 [3]中国航空工业计算技术研究所,西安710068
出 处:《计算机科学》2013年第5期38-41,共4页Computer Science
基 金:航空科学基金(2010ZC31002;2010ZC31001;20101981015)资助
摘 要:随着航空电子系统的飞速发展,机载操作系统对保证不同安全关键级别的软件互不影响越来越严格,面对这种情况,多重独立安全级别(MILS)嵌入式操作系统应运而生。MILS架构的中间件层采用实时CORBA技术。同时MILS CORBA架构采用分区通信机制进行通信。为了满足分区通信的安全性和MILS架构对分区密级的严格控制,设计了基于实时CORBA技术的MILS架构的多级安全分区通信机制。提出了将MILS IOP作为实时CORBA的一部分来实现MILS CORBA架构的多级安全分区通信的机制。整个机制保证了不同密级的数据安全独立的传输,同时也了保证系统的整体安全性。With the rapid development of avionics system, the requirement of ensuring different security classification software not to communicate in the avionic operate system is more and more strict. In this case, multiple independent levels of security and safety (MILS) embedded system was proposed. The middleware in MILS is Real-time CORBA (RT CORBA). And MILS CORBA is used partition communication to communicate with each other. In order to meet the security of partition communication and the strict control of the security classification in MILS, the multiple security partition communication in MILS architecture based on RT CORBA was proposed. The mechanism we proposed is that MILS lOP as a part of real-time CORBA can ensure to achieve multiple security partition communication in MILS COR- BA. The whole mechanism can ensure that the transmissions among the data of different security classifications are in- dependent. And it also guarantees the security of the whole system.
关 键 词:MILS 实时CORBA 分区通信 多级安全 加密认证
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.15.7.43