多元组空间的移动主体模型及其在网络入侵检测中的应用研究

摘要

该文从论述移动主体抽象结构模型与并发信息处理机制开始,通过研究移动主体在网络空间的移动机理和设计模式,实现移动主体结构在网络入侵检测中的应用.论文的主要工作和创新之处有:1)提出了将移动主体分离为执行实体和移动实体的研究方法;该方法从主体计算和主体移动性的角度出发,通过对目标规划、协作策略、知识管理和移动规则等主体特性的研究阐述主体模型的自治性、协作性和可移动性原理,并设计出时序逻辑和进程演算相结合的移动主体协同工作模式.2)利用元组空间(TUPLE-SPACE)概念,提出了在模型符号化和形式化基础上,对移动主体的性质、主体生存环境及网络模型结构进行规范性描述的建模方法;探讨了移动单元的最小单元式、移动代码语言的扩展性、移动性操作和统一的语义规范.3)提出了网络环境下移动主体的一种模型架构及模型的验证方法;在主体模型中,元组和空间互相嵌套,形成了动态空间树结构,不同元组和空间的组合代表着不同的组态,模型在元组规则的作用下可以实现组态的迁移;模型验证方法利用嵌套空间树的动态结构分析和推理模型的组态迁移过程和组态转换关系,消除冗余组态,它能有效的发现模型是否达到系统设计目标,帮助理解移动系统的动态特征.4)提出了一种用于侦测网络入侵行为的移动主体模型及模型验证策略.5)设计了入侵检测原型系统的数据处理模式及相关算法;原型系统采用简单网管协议(SNMP)作为移动主体之间数据通信标准,建立Extended MIB扩展分支作为网络状态信息、控制信息以及移动主体之间信息传递的接口,捕获的有效信息动态地提供给相关算法使用.

目录

文摘

英文文摘

图表目录

第一章绪论

1.1论文选题背景与意义

1.2移动主体与入侵检测技术

1.2.1移动主体

1.2.2网络计算技术与移动主体系统

1.2.3移动算法的描述语言与规范

1.2.4入侵检测技术

1.3研究内容

1.4论文内容安排

第二章移动主体

2.1移动主体描述方法

2.1.1时序模态逻辑

2.1.2空间进程演算

2.2多主体性质模型

2.2.1多主体系统

2.2.2主体能力

2.2.3主体规划

2.3移动主体的进程模型

2.3.1移动实体表示方法

2.3.2生存环境

2.3.3行为约束

2.3.4联合意图

2.4协同模式的表示方法

2.4.1协同结构

2.4.2协同进程

【本章小结】

第三章多元组空间的建立

3.1概述

3.2元组空间属性

3.2.1空间嵌套

3.2.2元组规则

3.2.3元组通讯

3.3多元组的协同控制

3.3.1结构化操作

3.3.2谓词校验

3.4移动性结构分析

3.5空间模型与软件体系

【本章小结】

第四章多元组空间的移动主体模型研究

4.1概述

4.2移动主体模型体系

4.2.1非形式化的描述

4.2.2主体系统的空间构成

4.2.3移动代码系统设计

4.2.4模型分析

4.3网络环境中模型的构件

4.3.1移动单元

4.3.2重释移动单元语法

4.3.3移动性构建

4.4形式化语义

4.4.1范围规则

4.4.2语句规划

4.4.3移动性组件

4.4.4预生成

4.5模型检查器

【本章小结】

第五章用于入侵检测的移动主体模型及模型验证策略研究

5.1概述

5.2侦测ARP攻击的移动主体机制

5.2.1主体的网络移动机制

5.2.2服务器集群结构

5.2.3检测规则

5.2.4动态嵌套空间树

5.3 ARP攻击检测的主体空间模型

5.3.1移动代码生存空间

5.3.2 SNMP-MIB检测空间

5.3.3检测流程与机制

5.4 ARP攻击检测模型验证策略

5.4.1组态迁移过程

5.4.2MAC-IP映射对匹配校验

5.4.3移动主体侦测逻辑验证

【本章小结】

第六章入侵检测原型系统及数据处理技术研究

6.1概述

6.2入侵检测原型系统框架

6.3 Wrapper技术

6.4入侵特征分析

6.4.1 ARP协议运行机制分析

6.4.2ARP攻击实例分析

6.5数据获取与存储

6.5.1数据包的截取

6.5.2数据存取结构

6.6频繁模式的发现算法

6.6.1时间序列的符号化转换

6.6.2算法描述

6.6.3数据分析

6.7用于网络安全分级的智能聚类算法

6.7.1矢量模式匹配

6.7.2算法描述

6.7.3算法稳定性分析

【本章小结】

第七章全文总结

7.1主要研究工作

7.2主要创新之处

参考文献：

读博期间主要的学术论文与科研工作

致谢