杨文忠，黄传河，张振宇

(1.新疆大学信息科学与工程学院，新疆乌鲁木齐 830046;2.武汉大学计算机学院，湖北武汉 430072)

随着人们的工作越来越依赖于各种软件，软件的可信性也变得越来越重要。然而随着Internet的日益增长，基于Internet的软件也越来越不可信。人们迫切需要可信的软件，却对软件可信性的本质还没有一致的认识，软件可信性评估和度量也没有一致的解决方案，这些都是可信软件期待解决的问题。

文献［1-2］认为软件可信性是质量属性的一个子集，即可信性是可靠性、可用性、可维护性和安全性等质量属性的组合。但这只是从静态的角度讨论软件的可信性，并没有反映软件的动态可信性。静态可信性属性该如何组合也是一个值得研究的问题［3-4］。从有关软件可信性的定义来看，软件可信性主要关注软件动态行为的可信。文献［5］提出了一种实用的基于Internet软件的可信性概念模型及可信性保障框架。文献［6］从Internet这个大的角度来保证软件的可信性，其可信性保障框架由身份认证管理、服务高可用性保障机制和自动合作的刺激机制这3部分组成。

自从1972年ANDERSON［7］首次提出可信系统的概念后，人们对软件系统的可信性从不同的角度进行了探讨。ISO/IEC 15408规范认为，一个软件系统可信是指系统的行为在任何条件下都是可预测的。TCG(trusted computing group)［8］认为，软件系统的可信性是系统总是按照期望的方式向有意图的目标发展。微软认为可信赖的计算是一种可用的、可靠的、安全的计算。笔者认为软件可信性是其行为总是与用户的期望相一致。……