物联网安全协议形式化分析与验证

发布时间：2018-01-11 05:10

本文关键词：物联网安全协议形式化分析与验证　出处：《聊城大学》2015年硕士论文　论文类型：学位论文

【摘要】：物联网技术在各行各业应用越来越广泛,对物联网技术的研究也越来越多。随着物联网技术中硬件和软件的广泛应用,安全问题也日益突出。对消息传递中的通信主体进行身份验证,对传输的数据进行保密,是物联网技术发展中安全要求的重要部分。形式化的分析和验证方法是通过形式化的语言进行安全协议的建模,根据前面的假设进行验证分析协议的安全性。形式化的分析方法是当前安全协议研究的重要方法。越来越多的形式化分析方法被提出,来验证协议是否存在安全隐患。本文首先阐述了物联网的概念及安全协议的基础知识,针对安全协议的形式化分析方法进行了假设、分析和验证。主要工作有:第一,对物联网概念和物联网安全协议进行了综述,分析了形式化分析法的分类和基础。第二,对基于串空间模型理论的形式化验证方法进行了分析,并通过对N-S协议进行分析,发现其中存在的安全漏洞,并对其进行了改进。第三,利用串空间模型理论,在安全协议的设计过程中很好的进行了指导。对设计出的安全协议进行了验证和分析,证明了协议的安全性。
[Abstract]:Internet of things technology is more and more widely used in various industries, and more and more research on Internet of things technology. With the wide application of hardware and software in Internet of things technology. The security problem is also becoming more and more prominent. The communication subject in the message transmission is authenticated and the transmitted data is kept secret. It is an important part of the security requirements in the development of the Internet of things. The formal analysis and verification method is to model the security protocol through the formal language. The formal analysis method is an important method in the current research of security protocols. More and more formal analysis methods have been proposed. Firstly, the concept of the Internet of things and the basic knowledge of the security protocol are described, and the formal analysis method of the security protocol is hypothesized. Analysis and verification. The main work is as follows: first, the concept of Internet of things and Internet of things security protocols are reviewed, and the classification and basis of formal analysis are analyzed. The formal verification method based on string space model theory is analyzed, and through the analysis of N-S protocol, the security holes are found and improved. The theory of string space model is used to guide the design of the security protocol. The security protocol is verified and analyzed, and the security of the protocol is proved.
【学位授予单位】：聊城大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：TP391.44;TN929.5

【参考文献】