综合化航空电子系统中基于可信计算的访问控制模型

摘要：

综合化航空电子系统呈现高度综合化、模块化的特点,其对平台的可信性及信息的机密性和完整性提出了较高要求。仅仅依赖于软件自身并不能建立满足综合化航空电子系统要求的高可信平台,使用可信计算技术,基于可信根,构建可信的综合化航空电子系统,并重点对基于可信硬件及可信技术的访问控制进行了研究,借鉴了BLP模型和BIBA模型的思想,提出了能够保障完整性和机密性的访问控制模型。研究分析表明提出的访问控制模型增强了综合化航空电子系统的安全性。

关键词： 航空电子系统 可信计算 访问控制 BLP模型 BIBA模型

作者: 崔西宁 沈玉龙 马建峰 谢克嘉

作者单位: 西安电子科技大学 计算机学院,陕西 西安 710071 航空计算机技术研究所,陕西 西安 710068 西安电子科技大学 计算机学院,陕西 西安 710071 航空计算机技术研究所,陕西 西安 710068

会议类型: 国内会议

会议名称: 第二届中国计算机网络与信息安全学术会议

会议地点: 天津

会议语种:中文

页码: 246-250

在线出版日期: 2009-10-01（万方平台首次上网日期，不代表论文的发表时间）