本文關(guān)鍵詞：物聯(lián)網(wǎng)安全協(xié)議形式化分析與驗(yàn)證　出處：《聊城大學(xué)》2015年碩士論文　論文類(lèi)型：學(xué)位論文

  更多相關(guān)文章： 物聯(lián)網(wǎng) 安全協(xié)議 形式化驗(yàn)證 串空間模型

【摘要】：物聯(lián)網(wǎng)技術(shù)在各行各業(yè)應(yīng)用越來(lái)越廣泛,對(duì)物聯(lián)網(wǎng)技術(shù)的研究也越來(lái)越多。隨著物聯(lián)網(wǎng)技術(shù)中硬件和軟件的廣泛應(yīng)用,安全問(wèn)題也日益突出。對(duì)消息傳遞中的通信主體進(jìn)行身份驗(yàn)證,對(duì)傳輸?shù)臄?shù)據(jù)進(jìn)行保密,是物聯(lián)網(wǎng)技術(shù)發(fā)展中安全要求的重要部分。形式化的分析和驗(yàn)證方法是通過(guò)形式化的語(yǔ)言進(jìn)行安全協(xié)議的建模,根據(jù)前面的假設(shè)進(jìn)行驗(yàn)證分析協(xié)議的安全性。形式化的分析方法是當(dāng)前安全協(xié)議研究的重要方法。越來(lái)越多的形式化分析方法被提出,來(lái)驗(yàn)證協(xié)議是否存在安全隱患。本文首先闡述了物聯(lián)網(wǎng)的概念及安全協(xié)議的基礎(chǔ)知識(shí),針對(duì)安全協(xié)議的形式化分析方法進(jìn)行了假設(shè)、分析和驗(yàn)證。主要工作有:第一,對(duì)物聯(lián)網(wǎng)概念和物聯(lián)網(wǎng)安全協(xié)議進(jìn)行了綜述,分析了形式化分析法的分類(lèi)和基礎(chǔ)。第二,對(duì)基于串空間模型理論的形式化驗(yàn)證方法進(jìn)行了分析,并通過(guò)對(duì)N-S協(xié)議進(jìn)行分析,發(fā)現(xiàn)其中存在的安全漏洞,并對(duì)其進(jìn)行了改進(jìn)。第三,利用串空間模型理論,在安全協(xié)議的設(shè)計(jì)過(guò)程中很好的進(jìn)行了指導(dǎo)。對(duì)設(shè)計(jì)出的安全協(xié)議進(jìn)行了驗(yàn)證和分析,證明了協(xié)議的安全性。
[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.
【學(xué)位授予單位】：聊城大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2015
【分類(lèi)號(hào)】：TP391.44;TN929.5

【參考文獻(xiàn)】

相關(guān)期刊論文 前1條

1 楊明;羅軍舟;;基于認(rèn)證測(cè)試的安全協(xié)議分析[J];軟件學(xué)報(bào);2006年01期

相關(guān)博士學(xué)位論文 前1條

1 李俊霖;物聯(lián)網(wǎng)傳感網(wǎng)絡(luò)安全協(xié)議形式化研究[D];云南大學(xué);2011年

相關(guān)碩士學(xué)位論文 前1條

1 董軍;安全協(xié)議形式化驗(yàn)證方法的研究[D];貴州大學(xué);2007年

，

本文編號(hào)：1408226