基于有色Petri网的SPIN协议验证
| 摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 第一章 引言 | 第8-12页 |
| ·课题背景 | 第8-9页 |
| ·研究现状 | 第9-10页 |
| ·本文所做的研究工作和论文的结构 | 第10-12页 |
| 第二章 无线传感器网络和SPIN协议 | 第12-25页 |
| ·无线传感器网络 | 第12-19页 |
| ·无线传感器网络的体系结构 | 第12-14页 |
| ·传感器节点的结构 | 第14页 |
| ·无线传感器网络的协议栈 | 第14-16页 |
| ·无线传感器网络的特点 | 第16-17页 |
| ·传感器网络的应用 | 第17-19页 |
| ·基于数据的路由—SPIN协议 | 第19-24页 |
| ·传统路由协议 | 第19-21页 |
| ·SPIN协议 | 第21-24页 |
| ·SPIN协议的优缺点 | 第24页 |
| ·本章小结 | 第24-25页 |
| 第三章 网络协议的验证技术 | 第25-32页 |
| ·协议形式化描述与验证技术 | 第25-26页 |
| ·协议的形式化描述 | 第25-26页 |
| ·协议验证技术 | 第26页 |
| ·Petri网原理 | 第26-30页 |
| ·Petri网的基本概念 | 第26-27页 |
| ·Petri网的图形表示 | 第27-28页 |
| ·Petri网的主要性质 | 第28-29页 |
| ·Petri网的分析技术 | 第29-30页 |
| ·基于Petri网的协议形式化验证技术 | 第30-31页 |
| ·本章小结 | 第31-32页 |
| 第四章 有色Petri网及其自动化分析工具 | 第32-47页 |
| ·有色Petri网的基本理论 | 第32-35页 |
| ·有色Petri网的基本定义 | 第32-35页 |
| ·有色Petri网的优点 | 第35页 |
| ·自动化分析工具CPN Tools | 第35-46页 |
| ·CPN ML | 第36-42页 |
| ·CPN Tools | 第42-46页 |
| ·本章小结 | 第46-47页 |
| 第五章 SPIN协议建模及形式化验证 | 第47-58页 |
| ·SPIN-1协议的CPN模型 | 第47-50页 |
| ·颜色集和变量定义 | 第47页 |
| ·SPIN-1协议的CPN模型描述 | 第47-50页 |
| ·SPIN-1协议的形式化分析验证 | 第50-51页 |
| ·SPIN-2协议的CPN模型 | 第51-55页 |
| ·颜色集和变量定义 | 第51-52页 |
| ·SPIN-2协议的CPN模型描述 | 第52-55页 |
| ·SPIN-2协议的形式化分析验证 | 第55-57页 |
| ·本章小结 | 第57-58页 |
| 第六章 SPIN-E协议及其形式化验证 | 第58-65页 |
| ·改进的SPIN协议——SPIN-E协议 | 第58页 |
| ·SPIN-E协议的CPN模型 | 第58-62页 |
| ·颜色集和变量定义 | 第58-59页 |
| ·SPIN-E协议的CPN模型描述 | 第59-62页 |
| ·SPIN-E协议的形式化分析验证 | 第62-64页 |
| ·本章小结 | 第64-65页 |
| 第七章 研究工作总结与展望 | 第65-67页 |
| ·研究工作总结 | 第65-66页 |
| ·对未来工作的展望 | 第66-67页 |
| 参考文献 | 第67-70页 |
| 致谢 | 第70-71页 |
| 附录 | 第71页 |
