机载嵌入式软件的安全性机制研究

doi:10.11959/j.issn.1000-436x.2015277

通信学报 ›› 2015, Vol. 36 ›› Issue (Z1): 16-21.doi: 10.11959/j.issn.1000-436x.2015277

机载嵌入式软件的安全性机制研究

李亚晖,张亚棣,郭鹏

中航工业西安航空计算技术研究所机弹载计算机航空科技重点实验室，陕西西安，710065

出版日期:2015-11-25 发布日期:2015-12-29
基金资助:
航空科学基金资助项目

Research on safety methods of airborne embedded software

Ya-hui LI,Ya-di ZHANG,Peng GUO

Airborne and Missile-borne Computer Aviation technology Key Lab,Aeronautical Computing Technique Research Institute,Xi'an 710065,China

Online:2015-11-25 Published:2015-12-29
Supported by:
The Aeronautics Science Fund

摘要/Abstract

摘要：

通过深入分析机载软件的开发和运行过程，在满足适航标准和信息安全标准的要求下，给出了与机载系统软件安全性相关的因素和威胁，并提出了基于嵌入式可信计算基的MILS机载软件架构安全性防护技术，为机载嵌入式软件的安全性机制研究提供了基础。

关键词: 安全关键系统, 嵌入式软件, 故障分析, 安全威胁

Abstract:

By analyzed the process of development and running of airborne software with the standards of airworthiness and information security,the factors and threats related with airborne software safety were presented,and the security protected mechanisms based on embedded TMP and MILS software architecture were provided,which all support the research on safety of embedded software on aircrafts.

Key words: safety-critical system, embedded software, fault analysis, security threat

李亚晖,张亚棣,郭鹏. 机载嵌入式软件的安全性机制研究[J]. 通信学报, 2015, 36(Z1): 16-21.

Ya-hui LI,Ya-di ZHANG,Peng GUO. Research on safety methods of airborne embedded software[J]. Journal on Communications, 2015, 36(Z1): 16-21.

图/表 4

参考文献 14

[1]	樊晓光, 褚文奎, 张凤鸣 . 软件安全性研究综述[J]. 计算机科学, 2011,38(5): 8-13. FAN X G , CHU W K , ZHANG F M . Surveys of software safety[J]. Computer Science, 2011,38(5): 8-13.
[2]	SWIFT M M , BERSHAD B N , LEVY H M . Improving the reliability of commodity operating systems[J]. ACM Trans on Computer Systems, 2005,23(1): 77-110.
[3]	JAEGER T , SAILER R , SHANKAR U . Prima:policy-reduced integrity measurement architecture[A]. Proc of the 11th ACM Symposium on Access Control Models and Technologies[C]. Lake Tahoe,USA, 2006. 19-28.
[4]	The statistics portal. Cyber crime incidents worldwide 2014,by victim industry and size[EB/OL]. .
[5]	The statistics portal. Cyber crime:average company loss in selected countries 2014[EB/OL]. .
[6]	FEILER P H . Challenges in validating safety-critical embedded systems[J]. SAE International Journal of Aerospace, 2010,(1): 109-116.
[7]	SAE ARP4754A.Guidelines for Development of Civil Aircraft and Systems,Society of Automotive Engineers (SAE)[S]. 2009.
[8]	万明, 樊晓光, 南建国 . 航电软件开发标准与过程研究[J]. 计算机工程与应用, 2010,46(19): 71-73. WAN M , FAN X G , NAN J G . Research on standard and process of avionics software development[J]. Computer Engineering and Applications, 2010,46(19): 71-73.
[9]	SAE ARP 4761 Standard,Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment,Society of Automotive Engineers (SAE)[S]. 1996.
[10]	尹树悦, 杨云 . 军机研制中安全性标准的应用[J] 航空标准化与质量, 2010, 237. YI S Y , YANG Y . Applicaiton of safety standard in military plan[J] Aeronautic Standardization ＆ Quality, 2010, 237.
[11]	GORDON M , UCHENICK W , MARK V . Multiple independent levels of safety and security:high assurance architecture for MSLS/MLS[A]. Military Communication Conference[C]. 2005.
[12]	JIM A F , W.SCOTT H , PAUL O , et al. The MILS architecture for high-assurance embedded systems[J]. International Journal of Embedded Systems, 2005,37(2).
[13]	张倩颖, 冯登国, 赵世军 . 基于可信芯片的平台身份证明方案研究[J]. 通信学报, 2014,35(8): 95-106. ZHANG Q Y , FENG D G . Research of platform identity attestation based on trusted chip[J]. Journal on Communications, 2014,35(8): 95-106.
[14]	马赞, 王鹏, 肖女娥 . SAE ARP4754A 中研制保证等级分配方法的应用研究[J]. 航空维修与工程, 2013,2(2): 68-70. MA Z , WANG P , XIAO N E . Application and study of development assurance level in civil aircraft development[J]. Aviation Maintenance＆ Engineering, 2013,2(2): 68-70.

机载嵌入式软件的安全性机制研究

Research on safety methods of airborne embedded software

在线阅读

PDF下载

可视化

被引次数

摘要/Abstract

引用本文

使用本文

图/表 4

参考文献 14

相关文章 11

Metrics

推荐阅读 0

[1]	李玮, 刘春, 谷大武, 孙文倩, 高建宁, 秦梦洋. Saturnin-Short轻量级认证加密算法的统计无效故障分析[J]. 通信学报, 2023, 44(4): 167-175.
[2]	张玲翠, 许瑶冰, 李凤华, 房梁, 郭云川, 李子孚. 天地一体化信息网络安全动态赋能架构[J]. 通信学报, 2021, 42(9): 87-95.
[3]	李玮, 汪梦林, 谷大武, 李嘉耀, 蔡天培, 徐光伟. 轻量级密码算法TWINE的唯密文故障分析[J]. 通信学报, 2021, 42(3): 135-149.
[4]	吴武飞,李仁发,曾刚,谢勇,谢国琪. 智能网联车网络安全研究综述[J]. 通信学报, 2020, 41(6): 161-174.
[5]	沈煜,李玮,谷大武,吴益鑫,曹珊,刘亚,刘志强,周志洪. ARIA密码的积分故障分析[J]. 通信学报, 2019, 40(2): 164-173.
[6]	李玮,吴益鑫,谷大武,李嘉耀,曹珊,汪梦林,蔡天培,丁祥武,刘志强. SIMON轻量级密码算法的唯密文故障分析[J]. 通信学报, 2019, 40(11): 122-137.
[7]	黄世锐,张恒巍,王晋东,窦睿彧. 基于定性微分博弈的网络安全威胁预警方法[J]. 通信学报, 2018, 39(8): 29-36.
[8]	周光海,宁兆龙,陈志奎,钟华,胡月明. 基于核偏最小二乘法的物联网无线传感网络故障分析与研究[J]. 通信学报, 2017, 38(Z2): 94-98.
[9]	杜军威,徐中伟,江峰. 基于动作序列的行为需求模式验证的研究[J]. 通信学报, 2011, 32(1): 94-105.
[10]	赵新杰,王韬,王素贞,吴杨. MIBS深度差分故障分析研究[J]. 通信学报, 2010, 31(12): 82-89.
[11]	李玮,谷大武. 基于密钥编排故障的SMS4算法的差分故障分析[J]. 通信学报, 2008, 29(10): 135-142.