| 摘要 | 第1-5页 |
| ABSTRACT | 第5-8页 |
| 英语缩略语表 | 第8-11页 |
| 第一章 绪论 | 第11-22页 |
| ·引言 | 第11-13页 |
| ·基于Agent 的移动计算与π演算 | 第13-15页 |
| ·移动计算环境下的安全性 | 第15-19页 |
| ·基于类型系统的静态分析理论与技术 | 第15-16页 |
| ·移动计算中的安全信息流分析技术 | 第16-17页 |
| ·移动计算环境下的安全策略与动态监测技术 | 第17-19页 |
| ·本文的主要工作 | 第19-22页 |
| 第二章 移动计算的安全威胁和要求以及安全机制 | 第22-30页 |
| ·计算系统模型及移动计算环境下的安全框架 | 第22-25页 |
| ·移动计算环境下的安全要求与安全威胁 | 第25-28页 |
| ·移动计算中的安全机制 | 第28-29页 |
| ·小结 | 第29-30页 |
| 第三章 基于Agent 的安全移动计算模型 | 第30-61页 |
| ·引言 | 第30-32页 |
| ·移动计算的计算边界及限制区域 | 第32-37页 |
| ·移动计算的计算边界 | 第32-34页 |
| ·移动计算的限制区域 | 第34-37页 |
| ·限制Agent：Confined-π计算模型 | 第37-58页 |
| ·Confined-π的语法 | 第37-48页 |
| ·Confined-π的操作语义 | 第48-55页 |
| ·Confined-π演算迁移系统的基本性质 | 第55-58页 |
| ·举例 | 第58-59页 |
| ·小结 | 第59-61页 |
| 第四章 类型系统 | 第61-73页 |
| ·类型语法与类型的运算 | 第61-66页 |
| ·Confined-π演算的类型系统 | 第66-69页 |
| ·类型系统的性质 | 第69-72页 |
| ·小结 | 第72-73页 |
| 第五章 Confined-π演算中的等价关系及安全信息流分析 | 第73-97页 |
| ·引言 | 第73页 |
| ·非类型约束的进程等价 | 第73-80页 |
| ·具有类型约束的进程等价 | 第80-85页 |
| ·Confined-π演算中的安全信息流分析 | 第85-96页 |
| ·Confined-π演算中的安全结构 | 第86-89页 |
| ·Confined-π演算中的非干扰安全性 | 第89-96页 |
| ·小结 | 第96-97页 |
| 第六章 安全策略的进程表示 | 第97-124页 |
| ·引言 | 第97页 |
| ·移动计算系统中安全性的形式化描述 | 第97-99页 |
| ·安全自动机及其进程描述 | 第99-113页 |
| ·安全自动机的定义 | 第99-101页 |
| ·安全自动机的进程表示 | 第101-113页 |
| ·终止进程 | 第101-104页 |
| ·简单安全自动机的进程表示 | 第104-109页 |
| ·复杂安全自动机的进程表示 | 第109-113页 |
| ·移动计算系统安全属性的判定 | 第113-121页 |
| ·Confined-π演算中安全策略的表达及实施 | 第121-123页 |
| ·小结 | 第123-124页 |
| 第七章 基于Agent 的移动计算中的基础设施设计与算法 | 第124-130页 |
| ·引言 | 第124-125页 |
| ·移动基础设施统一框架 | 第125-126页 |
| ·支持Agent 移动的消息传递算法 | 第126-129页 |
| ·算法的提出 | 第126-127页 |
| ·通信过程与算法 | 第127-129页 |
| ·小结 | 第129-130页 |
| 第八章 研究工作总结与展望 | 第130-134页 |
| ·研究工作总结 | 第130-131页 |
| ·研究展望 | 第131-134页 |
| 参考文献 | 第134-145页 |
| 致谢 | 第145-146页 |
| 攻读博士学位期间发表和录用的学术论文目录 | 第146页 |
| 攻读博士学位期间参加的科研项目 | 第146-148页 |