收藏本站
《云南大学》 2011年
收藏 | 手机打开
二维码
手机客户端打开本文

物联网传感网络安全协议形式化研究

李俊霖  
【摘要】:目前,对物联网的研究越来越深入,物联网在未来社会的发展和应用越来越广泛,随着各种物联网硬件和应用软件开发和研究,物联网的安全问题也凸显出来,如何对物联网的通信主体进行身份认证,如何对数据进行保密安全的传输,这是一个迫切需要研究和解决的应用需求。 安全协议在通信主体的身份认证、密钥的分配和数字签名等方面发挥着重要作用,但是,安全协议的安全性设计、分析和证明长期以来一直是信息安全研究的重点和难点问题,随着攻击的新手段和新技术不断涌现,安全协议的设计,分析和证明也在不断的接收新的挑战。 本文在当前比较公认的物联网概念和体系结构基础上,针对物联网传感网络的安全协议的形式化设计,分析和证明展开研究,主要工作为: 1、通过分析当前比较公认的物联网概念和体系结构,对物联网体系结构与传统的网络体系结构作了分析比较,得出物联网传感网络的特点和安全属性; 2、根据物联网传感网络的特点和安全属性,提出针对物联网传感网络攻击者的模型: 3、根据物联网传感网络的特点和安全属性,提出一种基于无线网络的物联网传感网络SNIT(The Sensing Network of the Internet of Things)模型; 4、针对SNIT模型,对通信主体进行抽象,提出一种基于协议元的形式化设计方法,该方法首先对协议元进行选择和设计,并对其进行基于UM击模型下的SK安全属性进行证明; 5、针对SNIT模型提出一种SNIT协议,该协议根据发起通讯请求的通信主体的不同SNIT办议又分为SNIT_C, SNIT_S_三个协议,并对三个协议进行形式化描述和攻击者建模; 6、采用CSP对SNIT协议进行形式化分析和模型验证; 7、采用串空间理论对SNIT协议进行定理证明,对模型的无穷状态空间进行推理,解决模型验证所不能完成状态空间爆炸问题; 总之,本文提出对安全协议的形式化设计、分析和证明较之于传统的非形式化设计和分析,具有较强的数学理论基础,可以保证在攻击者模型所具备的攻击条件下安全协议的可靠性,保密性和数据一致性。
【学位授予单位】:云南大学
【学位级别】:博士
【学位授予年份】:2011
【分类号】:TP391.44;TN915.08

【相似文献】
中国期刊全文数据库 前10条
1 周鹏;林华;;基于SVO逻辑的SNMP协议的改进及形式化分析[J];湖南科技学院学报;2011年08期
2 熊宛星;薛开平;洪佩琳;麻常莎;;基于二维区间Hash链的RFID安全协议[J];中国科学技术大学学报;2011年07期
3 胡千;景凤宣;谢晓尧;;基于CA的移动终端安全支付系统的研究与设计[J];贵州师范大学学报(自然科学版);2011年03期
4 汤小娇;;光纤布拉格光栅超大容量传感网络分析仪[J];唐山学院学报;2011年03期
5 张慧;赵有健;;安全协议中防御拒绝服务攻击的请求成功率保证算法[J];小型微型计算机系统;2011年06期
6 汤小娇;雷振山;戴世杰;;基于虚拟仪器的超大容量光纤光栅传感网络分析仪[J];天津工业大学学报;2011年03期
7 周倜;李梦君;李舟军;;安全协议逻辑程序不停机性快速预测的动态方法[J];计算机学报;2011年07期
8 顾翔;张臻;邱建林;;无线安全协议设计方法研究[J];计算机科学;2011年09期
9 李志全;王猛;苑苗苗;;基于Hash函数的RFID安全认证协议研究[J];电脑开发与应用;2011年07期
10 许代红;蓝永乾;;运用物联网技术构建数字化油田生产运行综合管理平台[J];通信管理与技术;2011年03期
中国重要会议论文全文数据库 前10条
1 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
2 邹成武;黄伟;;基于无线传感网络在生态环境监测的设计及应用[A];全国先进制造技术高层论坛暨第十届制造业自动化与信息化技术研讨会论文集[C];2011年
3 魏雪云;郑威;王鹏波;;无线传感网络时空融合(英文)[A];第九届全国信息获取与处理学术会议论文集Ⅱ[C];2011年
4 李浩;李非;;新型无线传感网络系统设计[A];天津市电视技术研究会2012年年会论文集[C];2012年
5 冯荷飞;曹子宁;;交错时序认知逻辑在安全协议中的应用[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
6 岳昌琪;;无线传感网络在农业大棚中的应用[A];全国第21届计算机技术与应用学术会议(CACIS·2010)暨全国第2届安全关键技术与应用学术会议论文集[C];2010年
7 王聪;王智学;;基于UML2.0的安全协议建模方法[A];江苏省系统工程学会第十一届学术年会论文集[C];2009年
8 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
9 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
10 阚凤龙;周悦;陈楠;吕九一;;基于CC2430的Zigbee家庭无线传感网络应用研究[A];创新沈阳文集(A)[C];2009年
中国重要报纸全文数据库 前10条
1 潘家永;春游的“安全协议”是否有效?[N];解放日报;2003年
2 潘家永;这种春游“安全协议”是否有效[N];民主与法制时报;2004年
3 潘家永;春游“安全协议”无效[N];经济参考报;2004年
4 尚民;俊知集团闪亮传感网络[N];通信产业报;2010年
5 曾铭;3-D安全协议 创造“三赢”电子交易[N];中国电子报;2004年
6 王乐民;中美签署药械安全协议[N];健康报;2007年
7 记者 舒玮;“安全协议”是学校的“挡箭牌”吗?[N];雅安日报;2008年
8 ;春游“安全协议”合法吗[N];中国妇女报;2003年
9 葛怀宇;美伊安全协议难产[N];工人日报;2008年
10 慧芳;无锡11个物联网项目落户[N];中国电子报;2009年
中国博士学位论文全文数据库 前10条
1 李俊霖;物联网传感网络安全协议形式化研究[D];云南大学;2011年
2 吴键;面向结构监测的智能无线传感网络关键技术研究[D];南京航空航天大学;2010年
3 董玮;面向无线传感网络的嵌入式操作系统设计[D];浙江大学;2010年
4 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
5 滕国栋;无线传感网络节点定位算法的研究[D];浙江大学;2010年
6 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
7 赵辉;安全协议形式化分析技术的研究[D];大连理工大学;2010年
8 冯超;计算可靠的安全协议验证方法研究[D];国防科学技术大学;2011年
9 贾洪勇;安全协议的可组合性分析与证明[D];北京邮电大学;2009年
10 张文铸;无线传感网络拓扑控制关键问题[D];清华大学;2010年
中国硕士学位论文全文数据库 前10条
1 王宏涛;高性能无线传感网络节点设计及自定位算法研究[D];中北大学;2010年
2 曹野;一种高吞吐率和高公平性混合传感网络研究[D];西南交通大学;2010年
3 李灿煜;面向环境监测应用的无线传感网络多跳路由协议研究[D];兰州大学;2010年
4 朱凡;无线传感网络技术及其在矿山安全监测中的应用研究[D];湖南大学;2010年
5 张秋月;基于强度型波/时分复用光纤光栅传感网络研究[D];燕山大学;2011年
6 张雅静;无线传感网络在光学综合孔径望远镜中的应用与研究[D];南京航空航天大学;2011年
7 仇雷杰;无线传感网络中有效数据收集技术研究[D];中国科学技术大学;2011年
8 刘瑞玲;基于无线传感网络的温室环境监测系统的研究[D];兰州大学;2011年
9 杨伟伟;基于可编程阵列的仿生自修复无线传感网络节点研制[D];南京航空航天大学;2009年
10 曲南;无线传感网络中基于探测拓扑的覆盖空洞问题[D];华东理工大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026