随着计算机技术在各行各业应用的日 益普及,计算机已经渗透到我们工作 和生活的方方面面,成为我们工作和 生活的一部分,从而极大地促进了社 会的发展和生产力的提高。 与此同时,工作在我们身边的各种计 算机系统由于其中的软件系统失效经 常表现不尽人意,呈现出脆弱、难以 信任的特征,甚至造成不可挽回的损 失,因此研究相关的可信软件关键技 术以提高软件系统的可信性已经成为 十分迫切的需求。◼ 随着计算机技术在各行各业应用的日 益普及,计算机已经渗透到我们工作 和生活的方方面面，成为我们工作和 生活的一部分，从而极大地促进了社 会的发展和生产力的提高。 ◼ 与此同时，工作在我们身边的各种计 算机系统由于其中的软件系统失效经 常表现不尽人意，呈现出脆弱、难以 信任的特征，甚至造成不可挽回的损 失，因此研究相关的可信软件关键技 术以提高软件系统的可信性已经成为 十分迫切的需求