封面
声明
中文摘要
英文摘要
目录
数学符号
第一章 绪论
1.1 研究背景及意义
1.2 研究目标
1.3 研究内容和相关技术路线
1.4 研究范围
1.5 本文组织结构
第二章 相关技术介绍
2.1 物联网安全
2.2 安全算法及相关实现技术
2.3 安全协议分析逻辑
2.6 本章小结
第三章 安全协议
3.1 设计思想
3.2 协议概述
3.3 注册
3.4 通讯
3.4 本章小结
第四章 安全通讯
4.1 总体架构
4.2 安全通讯层的设计与实现
4.3 安全管理模块
4.4 本章小结
第五章 测试与评估
5.1 测试环境
5.2 对称密钥算法效率测试
5.3 传输效率对比测试
5.4 安全协议的理论分析
5.5 安全通讯层的分析
5.6 本章小结
第六章 总结与展望
6.1 总结
6.2 展望
参考文献
附录A 基于BAN分析方法对于本安全通讯协议的逻辑理论证明
攻读学位期间的研究成果目录
致谢