邹 萌， 张 敏， 陈仪香

华东师范大学软件工程学院， 教育部软硬件协同设计技术与应用工程研究中心， 上海 200062

0 引 言

刘克等[1]指出软件系统可信性是指软件系统在规定的时间与环境内可交付可信服务的能力.软件可信性包含可用性、可靠性、防危性、安全性、可维护性等软件属性等特征.软件可信度量是软件可信性一个重要研究领域，文献[2]对当前软件可信性度量评估进行了详细总结，同时重点地介绍面向软件产品以及开发过程的基于软件多维属性的可信度量评估方法和体系.本文从安全属性来进行探讨软件可信性度量模型.

安全本身是为了防止某些攻击而慢慢演化出来的性质.随后分成两大类概念，一类称为信息安全性，一类是失效安全性.从系统的角度来看，研究软件系统某组件受到攻击后对其它组件的可信性影响是关键的一步.

本文主要目的是探讨了软件系统组件之间的可信关联性，以及某组件受到攻击可信性度量指标的下降对其关联组件可信性度量指标的影响， 从而建立组件可信依赖关系的量化模型.

1 可信相关预备知识

1.1 可信属性

国家自然基金委员会于2007年开始实施了“可信软件基础研究”重大研究计划，经过十年的项目实施，我国在软件可信性研究取得了重大研究成果，为我国可信软件开发奠定了坚实基础[3].软件可信性与软件质量息息相关[4-6].可以说可信是软件质量的特殊表现形式，国内外众……