基于通信顺序进程的安全协议形式化研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 1 绪论 | 第9-17页 |
| ·研究背景 | 第9-11页 |
| ·国内外研究现状 | 第11-15页 |
| ·论文的研究内容和组织 | 第15-17页 |
| 2 协议模型技术 | 第17-34页 |
| ·协议模型技术 | 第17-20页 |
| ·引言 | 第17-18页 |
| ·协议性质 | 第18页 |
| ·协议元素性质 | 第18-19页 |
| ·通道类别 | 第19-20页 |
| ·协议模型的选取 | 第20页 |
| ·各种协议模型简介 | 第20-23页 |
| ·有限状态机FSM | 第20-21页 |
| ·Petri 网 | 第21-22页 |
| ·时序逻辑TL | 第22-23页 |
| ·通信顺序进程CSP | 第23-33页 |
| ·进程 | 第23-26页 |
| ·进程的并发 | 第26-28页 |
| ·非确定性 | 第28-31页 |
| ·通信 | 第31页 |
| ·顺序进程 | 第31-32页 |
| ·更多的进程间运算 | 第32-33页 |
| ·小结 | 第33-34页 |
| 3. 使用CSP 对安全协议建模 | 第34-44页 |
| ·可信赖的进程建模 | 第34-38页 |
| ·协议模型的数据类型 | 第38-39页 |
| ·入侵者建模 | 第39-41页 |
| ·并归网络 | 第41-43页 |
| ·小结 | 第43-44页 |
| 4 CSP 协议模型描述实例 | 第44-54页 |
| ·A B 协议的CSP 模型 | 第44-46页 |
| ·TFTP 协议的CSP 模型 | 第46-49页 |
| ·TFTP 协议简介 | 第46-47页 |
| ·TFTP 协议的CSP 模型 | 第47-49页 |
| ·RIP 协议的CSP 模型 | 第49-53页 |
| ·RIP 协议简介 | 第49-51页 |
| ·RIP 协议的CSP 模型 | 第51-53页 |
| ·小结 | 第53-54页 |
| 5 安全协议的CSP 开发框架 | 第54-59页 |
| ·引言 | 第54-55页 |
| ·CSP 开发框架HL-CSP | 第55-58页 |
| ·HL-CSP 框架的层次模型 | 第55-56页 |
| ·HL-CSP 框架类 | 第56-58页 |
| ·小结 | 第58-59页 |
| 6 结束语 | 第59-61页 |
| ·研究总结 | 第59页 |
| ·未来的工作 | 第59-61页 |
| 致谢 | 第61-62页 |
| 参考文献 | 第62-65页 |
| 附录1 攻读硕士学位期间发表论文目录 | 第65-66页 |
| 附录2 附图列表 | 第66页 |
