军用可信软件现状及发展研究  

作　　者：郑长友[1,2] 刘晓明[1,2] 

机构地区：[1]解放军理工大学指挥信息系统学院,江苏南京210007 [2]全军军事训练软件测评中心,江苏南京210007

出　　处：《军事运筹与系统工程》2012年第4期75-78,共4页Military Operations Research and Systems Engineering

基　　金：国家高技术研究发展计划(2009AA01Z402);中国博士后科学基金资助项目(20110491843);江苏省自然科学基金项目(BK2012059;BK2012060)

摘　　要：随着计算机技术在军事领域的广泛应用,军用软件的可信性越来越引人关注。在总结了学术界对可信与可信性定义的基础上,给出了军用可信软件和军用软件可信性的定义。分析了国内外军事相关领域可信软件的发展现状,指出了当前我军军用软件研发模式中的不足并阐述了开展军用可信软件研究的意义及其发展方向。

关 键 词：军用软件 可信计算 可信软件 软件可信性 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]