| 军用嵌入式可信软件研究 |
| |
| 引用本文： | 贾宇飞,;陈思宇.军用嵌入式可信软件研究[J].航空计算技术,2014(4):114-115. |
| |
| 作者姓名： | 贾宇飞 ;陈思宇 |
| |
| 作者单位： | [1] 海军装备部,陕西西安710043; [2] 中国航空计算技术研究所,陕西西安710065 |
| |
| 基金项目： | 航空科学基金项目资助（20120329192041） |
| |
| 摘 要： | 随着军用计算机技术的不断发展,软件在军用设备中的地位越来越重要。软件规模日益增大,安全性、可靠性等问题日益凸显。充分研究可信软件的特性,对提高我国军用装备技术水平意义重大。在总结学术界对可信软件定义的基础上,结合实际的军事嵌入式应用阐述了软件可信性特点。分析了国内外军用领域软件可信性的发展现状,总结了软件可信性的评估方法。
|
| 关 键 词： | 嵌入式 可信软件 安全性 可靠性 软件评估 |
Study on Military Embedded Trusted Software |
| |
| Institution: | JIA Yu-fei, CHEN Si-yu (1. Naval Equipment Department,Xi＇an 710043, China; 2. Xi＇an Aeronautics Computing Technique Research Institute, A VIC , Xi＇an 710068, China) |
| |
| Abstract: | With development of computer technology in military area ,software becomes more and more im-portant.Software size grows rapidly ,while safety and reliability problems come out evidently .Researching of trusted software is very important to improve national military technology .Based on summarization of trusted software definition , referring to application of military embedded system , characteristic of trusted software is expatiated .Development of military trusted software at Home and abroad is analyzed ,and eval-uation of software′s credibility is summarized . |
| |
| Keywords: | embedded system trusted software security reliability software evaluation |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
