近幾年,物聯(lián)網(wǎng)迅速發(fā)展,大規(guī)模應(yīng)用于智能制造、智能家居、智慧醫(yī)療等行業(yè),給用戶生活帶來(lái)了極大的便利,但也引入了很多物聯(lián)網(wǎng)環(huán)境下特有的安全隱患,對(duì)用戶家庭安全構(gòu)成了嚴(yán)重威脅,因此我們需要對(duì)物聯(lián)網(wǎng)安全進(jìn)行深入的研究。本文發(fā)現(xiàn)在物聯(lián)網(wǎng)環(huán)境下應(yīng)用間物理交互問(wèn)題會(huì)給用戶家庭帶來(lái)安全危害,而且第三方規(guī)則平臺(tái)的大量應(yīng)用,更加加劇了應(yīng)用間物理交互的形成。本文提出了一種跨平臺(tái)物聯(lián)網(wǎng)應(yīng)用間物理交互提取方法,可以針對(duì)不同平臺(tái)應(yīng)用進(jìn)行靜態(tài)程序分析,提取不同應(yīng)用由于共享物理環(huán)境而形成的物理交互。并提出算法對(duì)發(fā)現(xiàn)的物理交互進(jìn)行風(fēng)險(xiǎn)評(píng)估,給予物聯(lián)網(wǎng)供應(yīng)商和開(kāi)發(fā)者安全警示。本文的具體工作如下:（1）提出一種新的物聯(lián)網(wǎng)應(yīng)用和規(guī)則分析方法,支持應(yīng)用間物理交互分析與提取。主要研究了將自然語(yǔ)言描述的規(guī)則轉(zhuǎn)換為標(biāo)準(zhǔn)的可分析代碼,并提出了跨平臺(tái)物聯(lián)網(wǎng)應(yīng)用間和規(guī)則間交互提取算法。（2）對(duì)于提取的物理交互依賴(lài),基于機(jī)器學(xué)習(xí)算法設(shè)計(jì)了兩個(gè)風(fēng)險(xiǎn)值計(jì)算方法,并實(shí)驗(yàn)驗(yàn)證算法的有效性。對(duì)于風(fēng)險(xiǎn)較高的依賴(lài)鏈,我們?cè)O(shè)計(jì)了兩種方法來(lái)緩解該問(wèn)題:一種是通過(guò)代碼插樁實(shí)現(xiàn)動(dòng)作觸發(fā)條件的增強(qiáng),另一種是在應(yīng)用安裝時(shí)實(shí)時(shí)檢測(cè)已安裝應(yīng)用與待安裝應(yīng)用（規(guī)則）是否形... 

【文章來(lái)源】：中國(guó)科學(xué)技術(shù)大學(xué)安徽省 211工程院校 985工程院校

【文章頁(yè)數(shù)】：71 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

圖２．３應(yīng)用間物理交互示例??如圖２．３所示，兩個(gè)應(yīng)用因溫度（ｔｅｍｐ）環(huán)境交疊，而間接產(chǎn)生物理交互，形??，６加熱能，??

?第３章跨平臺(tái)物聯(lián)網(wǎng)應(yīng)用間物理交互發(fā)現(xiàn)與風(fēng)險(xiǎn)分析???開(kāi)始??１?ｒ???分詞去停用詞??，ｒ???詞性標(biāo)記???］?ｒ???動(dòng)作匹配???Ｙ???代碼模板填充??手動(dòng)調(diào)整＿??結(jié)束卜???圖３．３規(guī)則轉(zhuǎn)換流程圖??殊的副詞或動(dòng)詞，則會(huì)直接配置對(duì)應(yīng)的能力。如ｏｎ對(duì)應(yīng)ｓｗｉｔｃｈ能力，ｏｐｅｎ對(duì)應(yīng)??ｄｏｏｒＣｏｎｔｒｏｌｌ?能力。??ＩＦＴＴＴ平臺(tái)專(zhuān)門(mén)為ＳｍａｒｔＴｈｉｎｇｓ設(shè)備開(kāi)發(fā)了設(shè)備控制規(guī)則，并可以通過(guò)接口??配置到設(shè)備上，我們從ＩＦＴＴＴ官網(wǎng)爬取了?２４４條適用于ＳｍａｒｔＴｈｉｎｇｓ平臺(tái)設(shè)備的??規(guī)則，并從中選擇了?９８條包含關(guān)鍵詞“ｗｈｅｎ”或者“ｉｆ”的規(guī)則，用于實(shí)驗(yàn)分??析。因?yàn)槲覀兛梢詮恼Z(yǔ)句中解析到規(guī)則對(duì)應(yīng)的事件觸發(fā)能力以及事件發(fā)生后形??成的設(shè)備動(dòng)作，也就是單個(gè)應(yīng)用內(nèi)形成的物理交互，并且可以與原生應(yīng)用共同分??析，得到跨平臺(tái)的應(yīng)用間形成的物理交互。??（４）代碼檢查??在實(shí)現(xiàn)算法并在數(shù)據(jù)集上運(yùn)行后，我們發(fā)現(xiàn)最終結(jié)果不是很準(zhǔn)確。原因是由??于規(guī)則描述語(yǔ)言不標(biāo)準(zhǔn)，對(duì)規(guī)則轉(zhuǎn)換結(jié)果的準(zhǔn)確性造成了較大的影響。因此我們??在算法運(yùn)行后，對(duì)照能力ＡＰ丨將轉(zhuǎn)換后的代碼進(jìn)行了修正，并且保證修改后的??代碼能夠正確在ＳｍａｒｔＴｈｉｎｇｓ的在線仿真丨ＤＥ中正確運(yùn)行。??２７??

?第３章跨平臺(tái)物聯(lián)網(wǎng)應(yīng)用間物理交互發(fā)現(xiàn)與風(fēng)險(xiǎn)分析???ａｐｐｌ?ａｐｐ２?ａｐｐ３??Ｓｉ?Ｓ２?Ｓ３??ｃ??Ｃｈａｉｎ?１?—?一一?麵??Ｃｈａｉｎ?２?????？??圖３．５多應(yīng)用間交互鏈風(fēng)險(xiǎn)計(jì)算模型??的手機(jī)上，保證風(fēng)險(xiǎn)較高的事件發(fā)生時(shí)是有人知道的。對(duì)火情等嚴(yán)重安全事件，??可直接采取報(bào)警的形式完成。??在進(jìn)行風(fēng)險(xiǎn)較大的事件處理時(shí)，應(yīng)用不僅判斷動(dòng)作的觸發(fā)條件，還檢測(cè)某個(gè)??運(yùn)動(dòng)傳感器數(shù)據(jù)，判斷室內(nèi)是否有人。若有人，則允許執(zhí)行，否則不允許執(zhí)行或??者提醒用戶高風(fēng)險(xiǎn)事件己經(jīng)執(zhí)行。對(duì)于溫濕度控制類(lèi)應(yīng)用，可以設(shè)置閾值的上下??限，通過(guò)實(shí)時(shí)檢測(cè)室內(nèi)溫濕度，當(dāng)達(dá)到上下限時(shí)設(shè)備暫停工作。開(kāi)發(fā)者可以在應(yīng)??用開(kāi)發(fā)時(shí)就將檢測(cè)邏輯寫(xiě)進(jìn)代碼。實(shí)現(xiàn)時(shí)可以通過(guò)代碼插樁技術(shù)動(dòng)態(tài)地調(diào)整代??碼，將檢測(cè)邏輯插入到觸發(fā)條件的位置。當(dāng)然，這種方案會(huì)產(chǎn)生額外的運(yùn)行時(shí)開(kāi)??銷(xiāo)，也需要單獨(dú)設(shè)置運(yùn)動(dòng)傳感器，但是能夠避免許多安全事故的發(fā)生。??（２）配置時(shí)檢查??本工具實(shí)現(xiàn)了對(duì)原生應(yīng)用和第三方規(guī)則的混合分析，既可以作為平臺(tái)的離??線分析工具使用，也可以借助物聯(lián)網(wǎng)平臺(tái)中網(wǎng)關(guān)提供的本地自動(dòng)化邏輯執(zhí)行模??塊，將本工具實(shí)現(xiàn)在網(wǎng)關(guān)的本地自動(dòng)化邏輯執(zhí)行模塊中，在用戶安裝應(yīng)用的時(shí)候??實(shí)時(shí)檢測(cè)室內(nèi)己安裝應(yīng)用與待安裝應(yīng)用間是否形成應(yīng)用間物理交互。如果存在，??則提醒用戶存在安全風(fēng)險(xiǎn)，并向用戶展示形成的物理交互。若不存在物理交互，??即可安裝全部應(yīng)用。該方案對(duì)代碼無(wú)侵入，可以很好地為用戶提供服務(wù)。??３．４小結(jié)??本章主要介紹了跨平臺(tái)物聯(lián)網(wǎng)應(yīng)用間物理交互發(fā)現(xiàn)與風(fēng)險(xiǎn)分析的主要內(nèi)容。??我們首先介紹了本工具分析的數(shù)據(jù)集的組成及規(guī)則轉(zhuǎn)換，介


本文編號(hào)：2984639