软件可信评价综述-计算机应用研究.pdfVIP

第２９卷第１０期 计 算 机 应 用 研 究 Ｖｏｌ２９Ｎｏ１０ ２０１２年１０月　 ＡｐｐｌｉｃａｔｉｏｎＲｅｓｅａｒｃｈｏｆＣｏｍｐｕｔｅｒｓ Ｏｃｔ２０１２ 软件可信评估综述 周　剑，张明新 （常熟理工学院，江苏 常熟２１５０００） 摘　要：软件可信评估是近年来计算机科学的一个新的研究热点和难点，对软件可信评估的研究有助于促进软 件产业的振兴与发展。首先分析了软件可信评估的必要性；然后对可信评估的研究现状进行综述，主要包括体 现可信的属性特征和软件可信等级的定义、软件可信评估模型、软件可信评估实现方案四个方面；同时分析了目 前可信评估中存在的不足以及造成这些不足的根本原因；最后指出了可信评估的未来发展趋势。 关键词：软件可信；可信属性；可信等级；可信证据；可信评估 中图分类号：ＴＰ３１１　　　文献标志码：Ａ　　　文章编号：１００１３６９５（２０１２）１０３６０９０５ ｄｏｉ：１０３９６９／ｊｉｓｓｎ１００１３６９５２０１２１０００３ Ｓｕｒｖｅｙｏｎｔｒｕｓｔｗｏｒｔｈｙｓｏｆｔｗａｒｅｅｖａｌｕａｔｉｏｎ ＺＨＯＵＪｉａｎ，ＺＨＡＮＧＭｉｎｇｘｉｎ （ＣｈａｎｇｓｈｕＩｎｓｔｉｔｕｔｅｏｆＴｅｃｈｎｏｌｏｇｙ，ＣｈａｎｇｓｈｕＪｉａｎｇｓｕ２１５０００，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｉｎｒｅｃｅｎｔｙｅａｒｓ，ｓｏｆｔｗａｒｅｔｒｕｓｔｗｏｒｔｈｙｅｖａｌｕａｔｉｏｎｉｓａｎｅｗｈｏｔｒｅｓｅａｒｃｈａｎｄａｔｏｕｇｈｊｏｂｉｎｔｈｅｆｉｅｌｄｏｆｃｏｍｐｕｔｅｒｓｃｉ ｅｎｃｅ．Ｉｔｃｏｎｔｒｉｂｕｔｅｓｔｏｐｒｏｍｏｔｉｎｇｔｈｅｒｅｊｕｖｅｎａｔｉｏｎａｎｄｄｅｖｅｌｏｐｍｅｎｔｏｆｔｈｅｓｏｆｔｗａｒｅｉｎｄｕｓｔｒｙｔｈｒｏｕｇｈｔｈｅｒｅｓｅａｒｃｈｏｆｓｏｆｔｗａｒｅ ｔｒｕｓｔｗｏｒｔｈｙｅｖａｌｕａｔｉｏｎ．Ｆｉｒｓｔｌｙ，ｔｈｉｓｐａｐｅｒａｎａｌｙｚｅｄｔｈｅｎｅｃｅｓｓｉｔｙｏｆｔｈｅｓｏｆｔｗａｒｅｔｒｕｓｔｗｏｒｔｈｙｅｖａｌｕａｔｉｏｎ，ａｎｄｔｈｅｎ，ｉｔｓｕｍｍａ ｒｉｚｅｄｔｈｅｒｅｓｅａｒｃｈｓｔａｔｕｅｏｆｗｈｉｃｈｍａｉｎｌｙｉｎｃｌｕｄｅｄｐｒｅｓｅｎｔｉｎｇｔｈｅｆｏｌｌｏｗｉｎｇｆｏｕｒａｓｐｅｃｔｓ：ｔｈｅｃｒｅｄｉｂｌｅａｔｔｒｉｂｕｔｉｖｅｃｈａｒａｃｔｅｒ，ｔｈｅ ｄｅｆｉｎｉｔｉｏｎｏｆｔｈｅｃｒｅｄｉｂｌｅｌｅｖｅｌｏｆｓｏｆｔｗａｒｅ，ｔｈｅｍｏｄｅｌｏｆｓｏｆｔｗａｒｅｔｒｕｓｔｗｏｒｔｈｙｅｖａｌｕａｔｉｏｎ，ｔｈｅｉｍｐｌｅｍｅｎｔａｔｉｏｎｐｌａｎｏｆｓｏｆｔｗａｒｅ ｔｒｕｓｔｗｏｒｔｈｙｅｖａｌｕａｔｉｏｎ．Ａｎｄａｔｔｈｅｓａｍｅｔｉｍｅ，ｉｔａｌｓｏａｎａｌｙｚｅｄｔｈｅｉｎｓｕｆｆｉｃｉｅｎｔｏｆｓｏｆｔｗａｒｅｔｒｕｓｔｗｏｒｔｈｙｅｖａｌｕａｔｉｏｎｉｎｐｒｅｓｅｎｔａｎｄ ｔｈｅｒｅａｓｏｎｓｆｏｒｔｈｅｓｅｉｎｓｕｆｆｉｃｉｅｎｔ．Ｆｉｎａｌｌｙ，ｉｔｐｏｉｎｔｅｄｏｕｔｔｈｅｔｒｅｎｄｏｆｓｏｆｔｗａｒｅｔｒｕｓｔｗｏｒｔｈｙｅｖａｌｕａｔｉｏｎｉｎｔｈｅｆｕｔｕｒｅ． Ｋｅｙｗｏｒｄｓ：ｓｏｆｔｗａｒｅｔｒｕｓｔｗｏｒｔｈｙ；ｔｒｕｓｔｗｏｒｔｈｙａｔｔｒｉｂｕｔｅ；ｔｒｕｓｔｗｏｒｔｈｙｃｌａｓｓ；ｔｒｕｓｔｗｏｒｔｈｙｅｖｉｄｅｎｃｅｓ；ｔｒｕｓｔｗｏｒｔｈｙｅｖａｌｕａｔｉｏｎ 程度的威胁，使得可信问题变得更加突出。 　引言 从可信软件的生产和应用的需求出发，软件开发过程中所 集成