论文部分内容阅读
工作流技术通过文档、信息或者任务按照一定的过程规则流转将业务流程全部或者部分自动化,实现组织成员间的协调工作以期达到业务的整体目标,提高企业生产组织水平和工作效率。在现代企业信息资源异构、分布、松散耦合的环境下,移动Agent技术的出现为构建工作流系统提供了更好的选择。移动Agent技术具有减少网络负担、异步运行、并行处理等优点,基于移动Agent技术实现的迁移工作流系统在一定程度上解决了传统工作流系统在性能及应用上的不足,然而迁移实例的移动性同时也引入了一系列安全问题,传统的工作流安全解决方案已不能满足迁移工作流系统的安全需求。迁移工作流技术在现代企业组织中具有良好的应用前景,但安全问题却成为制约其广泛应用主要问题之一。迁移工作流系统中的安全问题大体上可以分为工作位置安全和迁移实例安全两个方面来考虑,目前对后者的研究还很少,迁移实例缺乏有效的保护方案,这也是本文的研究目标。另一方面,生物免疫系统是一个高度并行、分布、自适应和自组织的系统,具有很强的学习、识别、记忆和特征提取能力,受到生物免疫机理启发,人们提出了各种模型和算法来模拟生物免疫系统具有的功能、原理和特点,大量的研究人员对生物免疫机制进行了建模、算法设计和应用领域研究,并且在理论模型、算法研究和应用领域均取得了一定的成果,由此发展成为一个全新的智能计算领域—人工免疫系统。人工免疫系统已经广泛应用到模式识别、故障检测、自动控制及计算机安全等领域,成为近年来的一个研究热点。基于以上研究背景,本文将迁移实例安全问题中的完整性检测作为研究对象,将人工免疫系统的应用领域扩展到迁移工作流系统中。针对迁移实例的执行特点,对迁移实例安全问题尤其是完整性安全进行分析,通过学习人工免疫系统理论,借鉴其中否定选择、克隆选择算法的基本思想,为迁移实例构造出一个免疫体来实现迁移实例的完整性检测。论文对免疫体进行了形式化描述,详细介绍了免疫体各功能模块的构造算法、检测过程及检测器更新机制,对相关参数进行了分析。最后对迁移实例完整性检测系统进行了代码实现,进行了相关仿真实验。本文针对迁移实例完整性检测问题进行深入研究后提出了一个可行解决方案,对其中关键技术进行了探讨,并给出了一个检测系统的有效实现。