多元组空间的移动主体模型及其在网络入侵检测中的应用研究信号与信息处理专业论文.docxVIP

主里型兰垫查奎兰堕圭堡苎 主里型兰垫查奎兰堕圭堡苎 竺!里兰竺L 中文摘要1 f f移动主体(Mobile-Agent)技术作为网络智能技术的重要组成部分已经成 功应用到互联网、移动通讯等领域。对移动主体的特性、模型系统及模型检查技 术进行研究不仅可以对移动代码生存过程进行分析，而且可以对网络应用设计的 有效性进行验证，从而大幅度提高网络智能服务水平。移动主体技术在分布式网 络的入侵检测领域有很大的应用空间。基于移动主体的入侵检测系统可以利用多 元组空间实现对结构化组件的描述；在此基础上，可以方便地构建检查器分析模 h／ 型组件的动态拓扑关系，发现入侵检测模型中存在的设计缺陷。y ， 本文从论述移动主体抽象结构模型与并发信息处理机制开始，通过研究移 动主体在网络空间的移动机理和设计模式，实现移动主体结构在网络入侵检测中 的应用。论文的主要工作和创新之处有： 1) 提出了将移动主体分离为执行实体和移动实体的研究方法；该方法从主体 计算和主体移动性的角度出发，通过对目标规划、协作策略、知识管理和移动 规则等主体特性的研究阐述主体模型的自治性、协作性和可移动性原理，并设 计出时序逻辑和进程演算相结合的移动主体协同工作模式。 2) 利用元组空间(TUPLE—sPAcE)概念，提出了在模型符号化和形式化基础上， 对移动主体的性质、主体生存环境及网络模型结构进行规范性描述的建模方 法；探讨了移动单元的最小单元式、移动代码语言的扩展性、移动性操作和统 、、 ／ 一的语义规范■钲多元组嵌套空间内，将移动单元结构的宏定义集合映射为标 ＼ 一／ 准移动单元的符号，从而实现了从逻辑模型到应用模型的过渡。j ／ 3) 提出了网络环境下移动主体的一种模型架构及模型的验证方法；在主体模 型中，元组和空间互相嵌套，形成了动态空间树结构，不同元组和空间的组合 代表着不同的组态，模型在元组规则的作用下可以实现组态的迁移；模型验证 方法利用嵌套空间树的动态结构分析和推理模型的组态迁移过程和组态转换 关系，消除冗余组态，它能有效的发现模型是否达到系统设计目标，帮助理解 移动系统的动态特征。 4) 提出了～种用于侦测网络入侵行为的移动主体模型及模型验证 ～策 ～盼 模 f膨一／ 本文的研究得到国家自然科学基金重点项目和中科大青年基金的资助。 Ⅱ 中国科学技术大学博士论文 中国科学技术大学博士论文 ABSTRACT 型针对移动主体体系结构的特点，利用元组空间的概念对用于入侵检测的移动 主体系统的协作机制和移动特性进行描述；同时，在逻辑层对代码移动结构进 行可行性验证。为了更好地设计入侵检测系统的移动代码体系，入侵检测模型 将主体移动编码的组织结构映射到多元组网络空问，并结合ARP攻击模式，构 功能有效性的验证，提高并改进入侵检测系统的设计水 妒 建RMAgtServer+CMAgtServer的网络模型结构，通过对 与环境关联等 5) 设计了入侵检测原型系统的数据处理模式及相关算法；原型系统采用简单 网管协议(SNMP)作为移动主体之间数据通信标准，建立Extended MIB扩展 分支作为网络状态信息、控制信息以及移动主体之问信息传递的接口，捕获的 有效信息动态地提供给相关算法蓰耐相关算法主要有频繁模式发现算法和动 态矢量聚类算法。它们能够识别多结构甬网络入侵频繁模式，同时，形成稳定 的网络安全分类 111 中国科学技术大学博士论文 中国科学技术大学博士论文 ABSlRACT ABSTRACT As an important part of network intelligence technology，mobile agent technology has been successfully used in many domains such as Internet， mobile communication．The research of the property of mobile agent，model system and model checking technique can not only analyze the existence process of mobile codes but also identify