可信软件及其度量.docVIP

可信软件及其度量 班级： 2010秋博 学号： 210060121 姓名： 张永平 摘要：随着计算机应用的不断发展，人们越来越依赖软件，其信性成为软件理论和技术的重要研究方向。本文介绍了可信软件的定义、属性及其技术体系，并对软件可信性度量进行了描述，最后给出了部分当前可信软件研究热点。 一．软件及其可信性研究 1．软件及其面临的问题 计算机软件（Computer Software，也称软件、软体）一般是指计算机系统中的程序及文档。程序是以计算机语言表达的软件系统、是计算任务的处理对象和处理规则的描述；文档是为了便于了解程序所需的阐明性资料，通常是以人类语言表达的软件系统，二者互相配合共同构成了完整的软件系统。软件是用户与硬件之间的接口界面，用户主要是通过软件与计算机进行交流，可以说软件是计算机系统设计的重要依据。 随着计算机应用的不断发展，软件已渗透到国民经济和国防建设的各个领域，在信息社会中发挥着至关重要的作用：一方面，软件为人们提供了新的生活和工作方式，已经成为信息基础设施（例如网上银行、电子商务等）；另一方面，软件不仅在逐步地代替传统硬件和物理设备，而且在系统中承担了集成的作用。高技术产品往往是软件密集型系统，小到日常使用的手机，大到联接全球的Internet应用，软件已经成为人们生活的一部分，人们也越来越依赖软件。 然而，伴随着软件系统日趋庞大化、复杂化和难以控制，软