| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 目录 | 第6-7页 |
| 第一章 绪论 | 第7-13页 |
| ·移动代码研究的背景和意义 | 第7-8页 |
| ·移动代码的国内外研究现状及存在问题 | 第8-12页 |
| ·本文的内容 | 第12-13页 |
| 第二章 MCC 方法和环境介绍 | 第13-19页 |
| ·携带模型代码 MCC 方法 | 第13-15页 |
| ·J2ME 简介 | 第15-16页 |
| ·手机的环境配置 | 第16-19页 |
| 第三章 安全策略定义与 EFSA 模型 | 第19-23页 |
| ·安全策略规范描述 | 第19-21页 |
| ·事件 | 第19-20页 |
| ·模式 | 第20页 |
| ·响应措施 Action | 第20页 |
| ·安全策略例子 | 第20-21页 |
| ·扩展有限状态自动机(EFSA) | 第21-23页 |
| 第四章 安全策略的验证 | 第23-35页 |
| ·程序行为模型(EPDA) | 第23-28页 |
| ·关于 EFSA 与 EPDA 具备相同描述能力的证明 | 第28-31页 |
| ·验证算法 | 第31-35页 |
| 第五章 系统实现 | 第35-38页 |
| ·系统结构图 | 第35页 |
| ·各部分功能介绍 | 第35-38页 |
| 第六章 总结与不足 | 第38-39页 |
| 参考文献 | 第39-41页 |