基于Petri网的安全策略分析与验证方法研究
| 摘要 | 第1-7页 |
| Abstract | 第7-12页 |
| 1 绪论 | 第12-39页 |
| ·课题背景以及研究的意义 | 第12-18页 |
| ·形式化验证技术概述 | 第18-34页 |
| ·存在的问题 | 第34-36页 |
| ·本文的主要工作和结构 | 第36-39页 |
| 2 Petri 网基础 | 第39-58页 |
| ·Petri 网研究与发展简况 | 第39-41页 |
| ·Petri 网的基本定义 | 第41-43页 |
| ·Petri 网的网系统 | 第43-52页 |
| ·Petri 网的通用网论 | 第52-56页 |
| ·本章小结 | 第56-58页 |
| 3 基于库所/变迁系统的安全策略分析 | 第58-76页 |
| ·保密性策略 | 第58-61页 |
| ·基于Petri 网的保密性描述 | 第61-63页 |
| ·基于Petri 网的保密性分析与验证 | 第63-67页 |
| ·完整性策略 | 第67-71页 |
| ·基于Petri 网的完整性描述 | 第71-72页 |
| ·基于Petri 网的完整性分析与验证 | 第72-75页 |
| ·本章小结 | 第75-76页 |
| 4 基于有色Petri 网的混合安全策略分析 | 第76-92页 |
| ·中国墙模型 | 第76-84页 |
| ·中国墙模型与其他模型 | 第84-86页 |
| ·基于有色Petri 网的混合安全性描述 | 第86-87页 |
| ·实例进程的分析与验证 | 第87-91页 |
| ·本章小结 | 第91-92页 |
| 5 基于有色Petri 网的Web 服务合成模型 | 第92-109页 |
| ·Web 服务合成 | 第92-97页 |
| ·基于有色Petri 网的Web 服务合成模型 | 第97-105页 |
| ·Web 服务合成模型安全分析 | 第105-108页 |
| ·本章小结 | 第108-109页 |
| 6 基于Petri 网的安全协议分析 | 第109-127页 |
| ·安全协议 | 第109-116页 |
| ·基于Petri 网的安全协议分析 | 第116-120页 |
| ·基于Petri 网的STS 协议分析 | 第120-125页 |
| ·本章小结 | 第125-127页 |
| 7 总结 | 第127-131页 |
| ·研究总结 | 第127-129页 |
| ·研究展望 | 第129-131页 |
| 致谢 | 第131-132页 |
| 参考文献 | 第132-141页 |
| 附录1 攻读学位期间发表论文目录 | 第141-142页 |
| 附录2 攻读学位期间参加科研项目及奖励情况 | 第142页 |
