期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
基于安全域隔离的嵌入式系统的访问控制机制研究 被引量:5
1
作者 牛文生 李亚晖 张亚棣 《计算机科学》 CSCD 北大核心 2013年第06A期320-322,326,共4页
针对嵌入式领域安全关键系统的信息安全问题,提出了基于安全域隔离的访问控制模型,采用分区间信息流隔离控制机制,结合分区间消息路由和消息权限鉴别机制,实现了分区操作系统中安全关键类应用任务的多级安全访问控制,并依据该模型设计... 针对嵌入式领域安全关键系统的信息安全问题,提出了基于安全域隔离的访问控制模型,采用分区间信息流隔离控制机制,结合分区间消息路由和消息权限鉴别机制,实现了分区操作系统中安全关键类应用任务的多级安全访问控制,并依据该模型设计了多级安全操作系统的访问控制机制。通过安全性分析证明,该机制使基于微内核的嵌入式操作系统能够防止非法的资源访问、身份伪装、信息泄露和隐秘通道等安全威胁;经过系统的性能测试表明,安全访问控制机制的引入使嵌入式操作系统的综合性能消耗约为10%左右。 展开更多
关键词 多级安全 强制访问控制 时空隔离 安全监控器
在线阅读 下载PDF
基于MILS CORBA的多级安全分区通信机制 被引量:5
2
作者 崔西宁 王聪琳 +2 位作者 裴庆祺 李亚晖 沈玉龙 《计算机科学》 CSCD 北大核心 2013年第5期38-41,共4页
随着航空电子系统的飞速发展,机载操作系统对保证不同安全关键级别的软件互不影响越来越严格,面对这种情况,多重独立安全级别(MILS)嵌入式操作系统应运而生。MILS架构的中间件层采用实时CORBA技术。同时MILS CORBA架构采用分区通信机制... 随着航空电子系统的飞速发展,机载操作系统对保证不同安全关键级别的软件互不影响越来越严格,面对这种情况,多重独立安全级别(MILS)嵌入式操作系统应运而生。MILS架构的中间件层采用实时CORBA技术。同时MILS CORBA架构采用分区通信机制进行通信。为了满足分区通信的安全性和MILS架构对分区密级的严格控制,设计了基于实时CORBA技术的MILS架构的多级安全分区通信机制。提出了将MILS IOP作为实时CORBA的一部分来实现MILS CORBA架构的多级安全分区通信的机制。整个机制保证了不同密级的数据安全独立的传输,同时也了保证系统的整体安全性。 展开更多
关键词 MILS 实时CORBA 分区通信 多级安全 加密认证
在线阅读 下载PDF
ARINC 659容错数据总线测试验证系统研制 被引量:12
3
作者 张喜民 魏婷 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2011年第6期140-145,共6页
研制了具有自主知识产权的自带微处理器的ARINC 659总线接口芯片,开发了接口芯片内微处理器的帧描述语言编译器;设计开发了总线接口板、通信试验台等,构建了总线通信测试验证系统.按ARINC 659总线规范要求对各实现功能进行了软、硬件联... 研制了具有自主知识产权的自带微处理器的ARINC 659总线接口芯片,开发了接口芯片内微处理器的帧描述语言编译器;设计开发了总线接口板、通信试验台等,构建了总线通信测试验证系统.按ARINC 659总线规范要求对各实现功能进行了软、硬件联合调试和测试,测试结果验证了接口芯片、通信测试验证系统功能的正确性和完整性.研究成果已用于某些航空安全关键系统,提高了系统的可靠性,降低了全寿命周期费用. 展开更多
关键词 ARINC659 容错 背板数据总线 接口芯片设计 测试环境 功能验证
在线阅读 下载PDF
ARINC 659背板数据总线协议初探 被引量:9
4
作者 张喜民 《电光与控制》 北大核心 2013年第3期93-97,共5页
ARINC 659背板数据总线是一种高可靠的容错数据总线,是ARINC 651标准定义的综合模块化航空电子系统的关键组件。探讨了综合模块化航空电子系统对背板总线的要求,阐述了ARINC 659背板数据总线的体系结构、介质访问机制、同步机制、总线... ARINC 659背板数据总线是一种高可靠的容错数据总线,是ARINC 651标准定义的综合模块化航空电子系统的关键组件。探讨了综合模块化航空电子系统对背板总线的要求,阐述了ARINC 659背板数据总线的体系结构、介质访问机制、同步机制、总线编码等,并对ARINC 659背板数据总线的确定性、容错性、编码特性、扩展性进行了深入分析。ARINC 659背板数据总线支持时间和空间分区,具有完备的容错性能,对降低机架式综合模块化航空电子系统开发与认证风险有积极作用。 展开更多
关键词 航空电子系统 ARINC 659 背板数据总线 容错 规范
在线阅读 下载PDF
先进战斗机的综合飞行器管理系统综述 被引量:11
5
作者 张喜民 徐奡 《电光与控制》 北大核心 2011年第11期1-6,共6页
现代战斗机设计对飞机的气动性能和功能综合提出更高的要求,这促使先进战斗机采用综合飞行器管理系统实现飞机的性能、可靠性、维修性的提高和系统重量、体积、布线的复杂性、全寿命周期费用的降低等。探讨了F-22、EF-2000和F-35战斗机... 现代战斗机设计对飞机的气动性能和功能综合提出更高的要求,这促使先进战斗机采用综合飞行器管理系统实现飞机的性能、可靠性、维修性的提高和系统重量、体积、布线的复杂性、全寿命周期费用的降低等。探讨了F-22、EF-2000和F-35战斗机的综合飞行器管理系统的体系架构、计算机组成、系统总线和接口单元构成与主要功能;对这些系统的计算机性能、容错配置、系统总线、功能综合、技术路线等特性进行比较分析。结果表明:高度的功能综合、网络化、分布式开放系统结构,高速数据总线,高安全实时分区操作系统、COTS的广泛使用将是新一代综合飞行器管理系统发展的显著特征。 展开更多
关键词 综合飞行器管理系统 先进战斗机 系统架构 总线
在线阅读 下载PDF
两种RUP的裁剪方法
6
作者 向桂林 付丽娜 《现代电子技术》 2012年第11期145-149,共5页
介绍了两种RUP的裁剪方法。第一种是通过引入职责矩阵和工件流对RUP进行裁剪,其中职责矩阵反映了对RUP中核心组成部分即工件与角色的裁剪结果,工件流则描述了工件之间的依赖关系。第二种方法是基于企业架构框架辅助RUP的裁剪,其中基于Za... 介绍了两种RUP的裁剪方法。第一种是通过引入职责矩阵和工件流对RUP进行裁剪,其中职责矩阵反映了对RUP中核心组成部分即工件与角色的裁剪结果,工件流则描述了工件之间的依赖关系。第二种方法是基于企业架构框架辅助RUP的裁剪,其中基于Zachman框架的RUP工件矩阵反映了对RUP工件与角色的初步裁剪,工件矩阵的填充规则反映了工件之间的依赖关系。因此两种方法都是以裁剪RUP的工件与角色为核心,同时定义工件间的依赖关系,从而给出对裁剪后的RUP开发案例的简洁概述。企业可根据自己的情况进行选择,或者结合应用。 展开更多
关键词 RUP 裁剪 职责矩阵 企业架构框架 工件矩阵
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部