可信软件研究  

Study on Trusted Software

作　　者：俞烈彬[1] 王立杰[1] 

机构地区：[1]江苏自动化研究所,江苏连云港222061

出　　处：《指挥控制与仿真》2013年第4期8-11,31,共5页Command Control & Simulation

基　　金：总装备部"十二五"基金项目

摘　　要：可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战。Trusted software has become a hotspot of the software engineering area in recent years, and it helps to enhance our weapon efficiency to study the trusted arming software. Firstly this paper analyzes the necessity of trusted arming software ; and then it summarizes the research state of trusted software technique, which include the following aspects ： measure- ment and evaluation of software creditability, construction and validation of trusted software, evolvement and control of trus ted software; lastly analyzes the challenges facing in the trusted arming software.

关 键 词：可信软件 可信度量与评估 可信构造与验证 可信演化与控制 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]