声明
第1章 绪论
1.1 研究背景和意义
1.2 研究内容
1.3 论文组织结构
第2章 相关技术综述
2.1 安全协议
2.2 形式化方法
2.3 形式化验证工具
2.4 本章小结
第3章 安全协议描述及分析
3.1 基于归属地网络公钥而增强附着流程安全性协议
3.2 基于口令和PKI的混合认证协议
3.3 基于IBC的And-link认证协议
3.4 本章小结
第4章 针对关联性攻击的ProVerif工具扩展
4.1 ProVerif介绍
4.2 基于ProVerif的扩展工具设计
4.3 基于ProVerif的扩展工具实现
4.4 扩展工具测试
4.5 本章小结
第5章 安全协议的验证
5.1 ProVerif验证过程
5.2 基于ProVerif的协议验证
5.3 5G附着协议关联攻击的验证
5.4 本章小结
第6章 总结与展望
6.1 总结
6.2 未来展望
参考文献
发表论文和参加科研情况说明
致谢
天津大学;
