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