动态演化环境中可信软件行为监控研究和进展.docVIP

动态演化环境中可信软件行为监控研究和进展 　　（湖南工业大学 计算机与通信学院， 湖南 株洲 412008） 　　 　　摘 要：提出了一个软件行为监控框架，在此基础上，从软件行为描述、软件行为监测、软件行为可信管理和软件行为控制四个方面，阐述了可信软件行为监控的研究进展，分析了目前研究中存在的问题，并探讨了其未来的发展趋势。 　　关键词：动态演化； 可信软件； 行为监控； 行为可信 　　中图分类号：TP311文献标志码：A 　　文章编号：1001?菠B3695(2009)04?菠B1201?菠B04 　　 　　Research and development on behavior monitoring and controlling of trusted software in dynamic evolution environment 　　WAN Can??jun, LI Chang??yun 　　 (School of Computer Communication, Hunan University of Technology, Zhuzhou Hunan 412008, China) 　　 　　Abstract: 　　Firstly, this paper presented a framework for behavior monitoring and controlling of software. Then, on this basis, discussed the research and development on behavior monitoring and controlling of trusted software, which including software behavior describing, software behavior monitoring, trust management of software behavior and software behavior controlling. Finally, analyzed the existing problems of research, and also discussed the development trend of future research. 　　Key words：dynamic evolution; trusted software; behavior monitoring and controlling; behavior trust 　　 　　软件可信是指软件系统能按照其设定目标所期望的方式运行，能适应环境和需求的变化，有抵御异常情况的能力，在受到干扰时仍能持续提供服务。然而，软件常常发生故障和失误，甚至失效，给人们的工作和生活带来不利影响，甚至造成巨大损失。软件的可信性已成为一个相当普遍的问题，如仅2006年中航信离港系统发生了三次软件故障，造成近百个机场登机系统瘫痪。因此，人们对软件的可用性、可靠性和安全性等可信性十分关注，如何在软件的开发和运行中保证软件具有高可信性已成为软件理论和技术的重要研究方向[1]。 　　?コ中?可用性是软件可信性的一个重要方面，也是许多应用领域中的一个关键性要求，软件动态演化可提高软件的持续可用性。软件动态演化是指在软件系统投入运行后，应环境和需求的变化而进行??变更[2]。然而，动态演化过程中可能出现异常，导致系统出错，降低软件的可信性。软件本质上是代替人执行一定的行为。软件的可信性主要表现在其行为可信上，即运行行为可监测、行为结果可评估、异常行为可控制。软件行为的可信不是凭空而来的，需通过软件运行时的行为监测，收集可信性相关数据，验证软件行为是否满足行为规约，建立基于行为监测的可信评估和管理体系，并能根据行为可信评估结果和行为可信需求规约，对软件行为进行动态调控，保障动态演化的正确性和一致性，提高软件的可信性。软件行为监控主要涉及到软件行为的可信监测、可信管理和可信控制。本文旨在从行为描述、行为监测、行为可信管理和行为控制等方面探讨如何进行软件行为监控，为软件动态演化提供可信保障机制，最终为用户提供持续可用、可靠、安全的高可信服务。 　　1 软件行为监控框架 　　?ケ疚乃?研究的软件行为监控主要是面向基于中间件的构件软件，所监控的实体主要是软件构件，支持EJB/CORBA/COM/DCOM/Web services等不同形式的构件。如图1所示，以中间件平台为基础，构建一个可信软件行为监控框架，为基于中间件的构件软件建立一个可信的软件行为监控环境，提供软件行为可信监测、软件行为可信管理和软件行为可信控制三个基本服务，各部分相