| 摘要 | 第1-4页 |
| Abstract | 第4-5页 |
| 目录 | 第5-8页 |
| 第一章 概述 | 第8-12页 |
| ·技术背景 | 第8-10页 |
| ·嵌入式系统的广泛应用 | 第8-9页 |
| ·协议工程的产生 | 第9-10页 |
| ·课题研究内容及本人所作的工作 | 第10-11页 |
| ·课题的内容 | 第10-11页 |
| ·本人所作的工作 | 第11页 |
| ·文章结构 | 第11-12页 |
| 第二章 系统构架与服务描述 | 第12-20页 |
| ·协议工程活动的适当修改 | 第12-15页 |
| ·协议工程的基本活动的描述 | 第12-13页 |
| ·各种因素对协议工程的影响 | 第13-14页 |
| ·协议工程的修改建议 | 第14-15页 |
| ·客户机／服务器通信系统构架 | 第15-17页 |
| ·业务需求 | 第15-16页 |
| ·功能分析 | 第16页 |
| ·体系结构 | 第16-17页 |
| ·通信层次模型 | 第17-20页 |
| ·服务模型 | 第17-18页 |
| ·三层模型 | 第18-19页 |
| ·服务描述 | 第19-20页 |
| 第三章 协议综合与描述 | 第20-34页 |
| ·协议数据包格式 | 第20-25页 |
| ·关于DTMF和FSK | 第20-21页 |
| ·数据词典 | 第21页 |
| ·数据包格式的定义 | 第21-22页 |
| ·FSK_MESSAGE格式定义 | 第22-24页 |
| ·FSK_ACK格式定义 | 第24-25页 |
| ·PDA与服务器之间的交互 | 第25-29页 |
| ·建立呼叫链路 | 第26页 |
| ·身份认证 | 第26页 |
| ·数据传送(PDA下载信息) | 第26-28页 |
| ·数据传送(PDA信息上传) | 第28页 |
| ·连接释放 | 第28页 |
| ·重发机制 | 第28-29页 |
| ·协议的Petri网模型 | 第29-34页 |
| ·Petri网模型1(停止等待协议) | 第29-30页 |
| ·Petri网模型2(对称性超时机制的停等协议) | 第30-31页 |
| ·Petri网模型3(对称性超时与出错处理的停等协议) | 第31-34页 |
| 第四章 协议认证与性能分析 | 第34-41页 |
| ·冲突的发生与Petri网模型的修改 | 第34-37页 |
| ·冲突定义 | 第34页 |
| ·冲突模拟 | 第34-35页 |
| ·Petri模型4(非对称超时与出错处理的停等协议) | 第35-37页 |
| ·协议认证 | 第37-39页 |
| ·Petri网模型的关联矩阵 | 第37页 |
| ·不变量分析 | 第37-38页 |
| ·其他性质分析 | 第38-39页 |
| ·性能分析 | 第39-41页 |
| ·随机Petri网 | 第39页 |
| ·Petri网模型1的性能分析 | 第39-41页 |
| 第五章 协议实现 | 第41-46页 |
| ·通信模块框架实现 | 第41-42页 |
| ·底层硬件部分为通信模块提供的接口 | 第42页 |
| ·通信模块接口设计 | 第42-45页 |
| ·信号管道机制的设计 | 第42-43页 |
| ·嵌入事件循环的机制 | 第43-45页 |
| ·系统集成与日志 | 第45-46页 |
| ·系统集成 | 第45页 |
| ·日志 | 第45-46页 |
| 第六章 协议一致性测试 | 第46-52页 |
| ·一致性测试 | 第46-48页 |
| ·协议的测试结构 | 第46-48页 |
| ·测试集 | 第48页 |
| ·测试中所遇到的问题以及修改 | 第48-52页 |
| ·链路建立过程的改进 | 第48页 |
| ·对称性超时重发导致的冲突及其解决办法 | 第48-50页 |
| ·出错应答出现导致的混乱 | 第50-52页 |
| 第七章 协议安全性讨论 | 第52-56页 |
| ·安全性 | 第52页 |
| ·安全性模型 | 第52-54页 |
| ·入侵通信模型 | 第52-53页 |
| ·协议描述 | 第53-54页 |
| ·安全性验证 | 第54-56页 |
| ·非法主体 | 第54页 |
| ·协议安全性性质的描述 | 第54-55页 |
| ·协议验证结果 | 第55-56页 |
| 总结 | 第56-57页 |
| 致谢 | 第57-58页 |
| 参考文献 | 第58-61页 |