文档介绍：分类号 密级 公开
编号 曰 …
雪 李
博 士 研 究 峨学位 恰 久
题 目 物联网传感网络安余协议
形式化研究
学院 所 、 中心
专 业 名 称
研 究生 姓名 学号
导 师 姓 名 职称 研究员
独 创 `生声 明
本人 声 明所呈交 的论 文是我 个人在 导师指导下进 行 的研究工作 及取得 的研 究
成果 。除 了文 中特 别加 以标 注和 致谢 的地方 外 , 论 文中不包含其 他人或集体 已经
发表 或撰 写过 的研 究成果 , 对本 文 的研 究做 出贡献 的集 体和个人均 己在论文 中作
了明确 的说 明并表示 了谢意 。
研究生签名厉恨参 。期
论 文使 用和授权 说 明
本人 完全了解 云南大学有关保 留 、 使用学位论 文的规定 , 即 学校 有权保 留
并 向国家有 关部 门或机构送交学位 论文和论文 电子版 允许论文被查 阅或借 阅
学校可 以公布论文 的全部 或部分 内容 , 可 以采用 影 印 、 缩 印或其他复制手段保存
论 文 。
保密 的论文在解 密后应 遵循此规定
研 签名澎俊泵 、 签名 日 期
本 人及导师 同意将学位论文提 交至清 华大学 “中 国学术期刊 光盘版 电子
杂志社 ” 进 行 电子 和 网络 出版 , 并编入 系列数据库 , 传播本学位论文 的全
部或部 分内容, 同意按 《中国优 秀博硕士学位论文全文数据库 出版章程 》 规 定享
受相关权益 。
研究生签名善徽争 导师二 几。葬 。、
摘要
摘 要
目前 , 对物联 网的研 究越来越 深入 , 物联 网在未来社会 的发展和 应用越来越广泛 ,
随着 各种物联 网硬件和 应用软件开 发和研 究, 物联 网的安全 问题也 凸显出来 , 如何对物
联 网 的通信主体进行身份 认证 , 如何对 数据进行保密 安全 的传输 , 这是一个迫切 需要研
究和 解决 的应用需求 。
安全协议在通信主体 的身份认证 、 密钥 的分配和数 字签 名等方面发挥着 重要作用 ,
但是 , 安全协议 的安全性设计 、 分 析和证 明长 期 以来一直 是信息安全研 究的重 点和 难点
问题 , 随着攻击 的新手段和新 技术不 断涌现 , 安全 协议 的设 计 , 分析和证 明也在 不断的
接收新 的挑 战 。
本文在 当前 比较公认 的物 联 网概念和 体系结构基础 上 , 针对