| 摘要 | 第1-7页 |
| ABSTRACT | 第7-11页 |
| 第1章 引言 | 第11-24页 |
| ·研究背景及问题提出 | 第11-16页 |
| ·本文的研究内容及意义 | 第16-19页 |
| ·本文的组织 | 第19-20页 |
| 参考文献 | 第20-24页 |
| 第2章 GNUTELLA网络概述 | 第24-35页 |
| ·GNUTELLA网络协议 | 第24-29页 |
| ·GNUTELLA网络的基本特性 | 第29-32页 |
| ·小结 | 第32-34页 |
| 参考文献 | 第34-35页 |
| 第3章 GFB:具有消息反馈机制、可扩展的 P2P系统 | 第35-44页 |
| ·GIA网络系统分析 | 第35-36页 |
| ·GFB网络系统 | 第36-42页 |
| ·小结 | 第42-43页 |
| 参考文献 | 第43-44页 |
| 第4章 GNUTELLA网络的连接管理 | 第44-62页 |
| ·GNUTELLA网络消息广播机制解析 | 第44-45页 |
| ·GNUTELLA网络丢弃连接的必要性与可行性 | 第45-47页 |
| ·GNUTELLA网络消息优先级的划分 | 第47-48页 |
| ·GNUTELLA网络连接管理的评估方法及实例 | 第48-52页 |
| ·丢弃连接管理算法(DCMA) | 第52-54页 |
| ·DCMA算法的深入探讨 | 第54-60页 |
| ·小结 | 第60-61页 |
| 参考文献 | 第61-62页 |
| 第5章 可达性分析及短路效应解决方案 | 第62-81页 |
| ·异构延迟造成的短路效应 | 第62-65页 |
| ·短路效应解决方案 | 第65-73页 |
| ·试验方案的设计和结果 | 第73-79页 |
| ·小结 | 第79-80页 |
| 参考文献 | 第80-81页 |
| 第6章 协议的形式化描述及验证理论 | 第81-93页 |
| ·协议验证的必要性 | 第81-82页 |
| ·基于有限状态自动机模型的协议验证与分析 | 第82-83页 |
| ·时间自动机模型的概念与区域自动机的构造算法 | 第83-87页 |
| ·改进的区域自动机构造算法 | 第87-90页 |
| ·算法分析 | 第90-91页 |
| ·小结 | 第91-92页 |
| 参考文献 | 第92-93页 |
| 第7章 协议的形式化描述及验证 | 第93-109页 |
| ·协议验证工具— UPPAAL | 第93-95页 |
| ·GNUTELLA网络协议的形式化描述与验证 | 第95-101页 |
| ·构造无 R-TTL环的 GNUTELLA网络协议的形式化描述与验证 | 第101-106页 |
| ·小结 | 第106-107页 |
| 参考文献 | 第107-109页 |
| 第8章 结语 | 第109-112页 |
| ·全文总结 | 第109-111页 |
| ·对进一步工作的展望 | 第111-112页 |
| 附录1 | 第112-115页 |
| 附录2 | 第115-117页 |
| 致谢 | 第117-118页 |
| 攻读博士学位期间发表的论文 | 第118-119页 |