期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于安全域隔离的嵌入式系统的访问控制机制研究
被引量:
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
职称材料
题名
基于安全域隔离的嵌入式系统的访问控制机制研究
被引量:
5
1
作者
牛文生
李亚晖
张亚棣
机构
中国航空工业计算技术研究所
西安电子科技大学
计算
机学院
出处
《计算机科学》
CSCD
北大核心
2013年第06A期320-322,326,共4页
基金
航空科学基金项目(2010ZC31002)资助
文摘
针对嵌入式领域安全关键系统的信息安全问题,提出了基于安全域隔离的访问控制模型,采用分区间信息流隔离控制机制,结合分区间消息路由和消息权限鉴别机制,实现了分区操作系统中安全关键类应用任务的多级安全访问控制,并依据该模型设计了多级安全操作系统的访问控制机制。通过安全性分析证明,该机制使基于微内核的嵌入式操作系统能够防止非法的资源访问、身份伪装、信息泄露和隐秘通道等安全威胁;经过系统的性能测试表明,安全访问控制机制的引入使嵌入式操作系统的综合性能消耗约为10%左右。
关键词
多级安全
强制访问控制
时空隔离
安全监控器
Keywords
Multi-level security, Mandatory access control, Space separation, Security monitor
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于MILS CORBA的多级安全分区通信机制
被引量:
5
2
作者
崔西宁
王聪琳
裴庆祺
李亚晖
沈玉龙
机构
西安电子科技大学
计算
机学院
西安电子科技大学通信工程学院
中国航空工业计算技术研究所
出处
《计算机科学》
CSCD
北大核心
2013年第5期38-41,共4页
基金
航空科学基金(2010ZC31002
2010ZC31001
20101981015)资助
文摘
随着航空电子系统的飞速发展,机载操作系统对保证不同安全关键级别的软件互不影响越来越严格,面对这种情况,多重独立安全级别(MILS)嵌入式操作系统应运而生。MILS架构的中间件层采用实时CORBA技术。同时MILS CORBA架构采用分区通信机制进行通信。为了满足分区通信的安全性和MILS架构对分区密级的严格控制,设计了基于实时CORBA技术的MILS架构的多级安全分区通信机制。提出了将MILS IOP作为实时CORBA的一部分来实现MILS CORBA架构的多级安全分区通信的机制。整个机制保证了不同密级的数据安全独立的传输,同时也了保证系统的整体安全性。
关键词
MILS
实时CORBA
分区通信
多级安全
加密认证
Keywords
MILS
Real-time CORBA
Partition communication
Multiple security
Encryption and authentication
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
ARINC 659容错数据总线测试验证系统研制
被引量:
12
3
作者
张喜民
魏婷
机构
中国航空工业计算技术研究所
西安电子科技大学多媒体
技术
研究所
出处
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2011年第6期140-145,共6页
基金
国家部委基金资助项目(20101931004)
文摘
研制了具有自主知识产权的自带微处理器的ARINC 659总线接口芯片,开发了接口芯片内微处理器的帧描述语言编译器;设计开发了总线接口板、通信试验台等,构建了总线通信测试验证系统.按ARINC 659总线规范要求对各实现功能进行了软、硬件联合调试和测试,测试结果验证了接口芯片、通信测试验证系统功能的正确性和完整性.研究成果已用于某些航空安全关键系统,提高了系统的可靠性,降低了全寿命周期费用.
关键词
ARINC659
容错
背板数据总线
接口芯片设计
测试环境
功能验证
Keywords
ARINC 659
fault-tolerance
backplane data bus
interface chip design
test environment
function verification
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
ARINC 659背板数据总线协议初探
被引量:
9
4
作者
张喜民
机构
中国航空工业计算技术研究所
出处
《电光与控制》
北大核心
2013年第3期93-97,共5页
基金
航空科学基金(20101931004)
总装预研项目(513160403)
文摘
ARINC 659背板数据总线是一种高可靠的容错数据总线,是ARINC 651标准定义的综合模块化航空电子系统的关键组件。探讨了综合模块化航空电子系统对背板总线的要求,阐述了ARINC 659背板数据总线的体系结构、介质访问机制、同步机制、总线编码等,并对ARINC 659背板数据总线的确定性、容错性、编码特性、扩展性进行了深入分析。ARINC 659背板数据总线支持时间和空间分区,具有完备的容错性能,对降低机架式综合模块化航空电子系统开发与认证风险有积极作用。
关键词
航空电子系统
ARINC
659
背板数据总线
容错
规范
Keywords
avionic system
ARINC 659
backplane data bus
fault tolerance
specification
分类号
V271.4 [航空宇航科学与技术—飞行器设计]
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
先进战斗机的综合飞行器管理系统综述
被引量:
11
5
作者
张喜民
徐奡
机构
中国航空工业计算技术研究所
出处
《电光与控制》
北大核心
2011年第11期1-6,共6页
基金
航空科学基金(20101931004)
文摘
现代战斗机设计对飞机的气动性能和功能综合提出更高的要求,这促使先进战斗机采用综合飞行器管理系统实现飞机的性能、可靠性、维修性的提高和系统重量、体积、布线的复杂性、全寿命周期费用的降低等。探讨了F-22、EF-2000和F-35战斗机的综合飞行器管理系统的体系架构、计算机组成、系统总线和接口单元构成与主要功能;对这些系统的计算机性能、容错配置、系统总线、功能综合、技术路线等特性进行比较分析。结果表明:高度的功能综合、网络化、分布式开放系统结构,高速数据总线,高安全实时分区操作系统、COTS的广泛使用将是新一代综合飞行器管理系统发展的显著特征。
关键词
综合飞行器管理系统
先进战斗机
系统架构
总线
Keywords
Integrated Vehicle Management System(IVMS)
advanced fighter
system architecture
data bus
分类号
V249 [航空宇航科学与技术—飞行器设计]
在线阅读
下载PDF
职称材料
题名
两种RUP的裁剪方法
6
作者
向桂林
付丽娜
机构
中国航空工业计算技术研究所
西北大学软件工程
研究所
出处
《现代电子技术》
2012年第11期145-149,共5页
文摘
介绍了两种RUP的裁剪方法。第一种是通过引入职责矩阵和工件流对RUP进行裁剪,其中职责矩阵反映了对RUP中核心组成部分即工件与角色的裁剪结果,工件流则描述了工件之间的依赖关系。第二种方法是基于企业架构框架辅助RUP的裁剪,其中基于Zachman框架的RUP工件矩阵反映了对RUP工件与角色的初步裁剪,工件矩阵的填充规则反映了工件之间的依赖关系。因此两种方法都是以裁剪RUP的工件与角色为核心,同时定义工件间的依赖关系,从而给出对裁剪后的RUP开发案例的简洁概述。企业可根据自己的情况进行选择,或者结合应用。
关键词
RUP
裁剪
职责矩阵
企业架构框架
工件矩阵
Keywords
RUP
tailoring
responsibility matrix
enterprise architecture framework
artifact matrix
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于安全域隔离的嵌入式系统的访问控制机制研究
牛文生
李亚晖
张亚棣
《计算机科学》
CSCD
北大核心
2013
5
在线阅读
下载PDF
职称材料
2
基于MILS CORBA的多级安全分区通信机制
崔西宁
王聪琳
裴庆祺
李亚晖
沈玉龙
《计算机科学》
CSCD
北大核心
2013
5
在线阅读
下载PDF
职称材料
3
ARINC 659容错数据总线测试验证系统研制
张喜民
魏婷
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2011
12
在线阅读
下载PDF
职称材料
4
ARINC 659背板数据总线协议初探
张喜民
《电光与控制》
北大核心
2013
9
在线阅读
下载PDF
职称材料
5
先进战斗机的综合飞行器管理系统综述
张喜民
徐奡
《电光与控制》
北大核心
2011
11
在线阅读
下载PDF
职称材料
6
两种RUP的裁剪方法
向桂林
付丽娜
《现代电子技术》
2012
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部