摘要
综合化航空电子系统呈现高度综合化、模块化的特点,其对平台的可信性及信息的机密性和完整性提出了较高要求。仅仅依赖于软件自身并不能建立满足综合化航空电子系统要求的高可信平台,使用可信计算技术,基于可信根,构建可信的综合化航空电子系统,并重点对基于可信硬件及可信技术的访问控制进行了研究,借鉴了BLP模型和BIBA模型的思想,提出了能够保障完整性和机密性的访问控制模型。研究分析表明提出的访问控制模型增强了综合化航空电子系统的安全性。
Integrated avionics system is a highly integrated and modularized system.It strongly requires the reliability of platform, the confidentiality and integrity of information.Software alone does not provide an adequate foundation for building a high-assurance trusted platform.The access control policies based on trusted hardware and trusted computing technologies were focused.By using BLP model and BIBA model, an access control model was brought for ensuring the confidentiality and integrity of information, which greatly improved integrated avionics system's security.
出处
《通信学报》
EI
CSCD
北大核心
2009年第S2期86-90,共5页
Journal on Communications
基金
国家自然科学基金资助项目(60633020)
陕西省自然科学基础研究计划资助项目(SJ08F13)
航空科学基金资助项目(2007ZD31003
2008ZC31001)~~
