智能工廠是制造業(yè)的重要發(fā)展方向,隨著智能工廠系統(tǒng)的不斷發(fā)展與擴(kuò)大,系統(tǒng)中設(shè)備眾多且拓?fù)浣Y(jié)構(gòu)相對分散,傳統(tǒng)中心化控制系統(tǒng)中的安全問題將會日益凸顯,對于中心服務(wù)器的性能要求也會顯著提高,系統(tǒng)成本將大大提高。有著去中心化、匿名性以及無需信任基礎(chǔ)特點(diǎn)的區(qū)塊鏈技術(shù)為解決傳統(tǒng)控制系統(tǒng)的安全問題提供了新的思路,智能合約與區(qū)塊鏈技術(shù)在制造業(yè)中的應(yīng)用,讓智能工廠中的安全管理系統(tǒng)能夠利用區(qū)塊鏈技術(shù)及智能合約進(jìn)行搭建。本文首先對智能工廠安全管理系統(tǒng)進(jìn)行了需求分析,包括系統(tǒng)的結(jié)構(gòu)、功能以及協(xié)作需求,并針對分析結(jié)果對相關(guān)技術(shù)知識進(jìn)行了介紹,例如區(qū)塊鏈技術(shù)中的共識算法以及密碼學(xué)知識等,智能合約開發(fā)相關(guān)知識等,最終確定了智能工廠安全管理系統(tǒng)的結(jié)構(gòu)功能以及實現(xiàn)所涉及的技術(shù)知識�；趯χ悄芄S安全管理系統(tǒng)的需求分析對系統(tǒng)進(jìn)行了相關(guān)設(shè)計,從系統(tǒng)的去中心化整體架構(gòu)設(shè)計到系統(tǒng)開發(fā)流程設(shè)計,從智能合約的整體架構(gòu)設(shè)計到智能合約的權(quán)限管理以及命令控制策略設(shè)計,再從系統(tǒng)數(shù)據(jù)安全策略設(shè)計到系統(tǒng)與用戶交互所需的用戶界面的設(shè)計。針對于傳統(tǒng)的中心化系統(tǒng)中權(quán)限管理集中于中心服務(wù)器可能導(dǎo)致的安全問題,利用區(qū)塊鏈的分布式存儲方式結(jié)合智能合約管理策... 

【文章來源】：電子科技大學(xué)四川省 211工程院校 985工程院校 教育部直屬院校

【文章頁數(shù)】：75 頁

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

【部分圖文】：

P2P網(wǎng)絡(luò)結(jié)構(gòu)

2.5.3 加解密算法 加解密算法可謂是密碼學(xué)的核心，以設(shè)計理念差異劃分，可得到對稱加密算法和非對稱加密算法。 圖 2-8 中描述了加解密的基本過程，在加密時，明文信息輸入后，加密算法和加密密鑰共同協(xié)作進(jìn)行加密，輸出加密后的密文；而在解密過程中，則利用解密算法和解密所需的密鑰共同對密文進(jìn)行解密，最終得到解密后的明文信息。而分類的準(zhǔn)則就是看在加密過程和解密過程中的密鑰是否一致，如果是同一個密鑰，則算法是對稱加密算法，如果密鑰不同，則算法將被劃分為非對稱加密算法。不同的加密模式適用于不同的場景，有時候也可以將兩者進(jìn)行組合，形成混合加密算法。

電子科技大學(xué)碩士學(xué)位論文22圖2-10智能合約生命周期2.6.2智能合約安全智能合約是由設(shè)計人員設(shè)計的，那么想要保證合約沒有漏洞，就必須要在合約設(shè)計時就將各種可能出現(xiàn)的惡意攻擊都考慮進(jìn)去，并在合約開發(fā)時盡量避免錯誤和漏洞的出現(xiàn)，但是這顯然是一個幾乎不可能完成的任務(wù)。所以需要對智能合約進(jìn)行部署測試和漏洞檢查，且須在智能合約部署之前進(jìn)行，以便提前在虛擬環(huán)境中進(jìn)行檢查合約是否滿足有界性、公平性以及正確性等關(guān)鍵性質(zhì)，保證合約能夠規(guī)范地執(zhí)行，保持合約的可靠性和執(zhí)行能力。在比特幣系統(tǒng)中需要特別注意的雙花攻擊，即同一筆比特幣被花費(fèi)兩次的問題，在以太坊平臺上由于賬戶余額是進(jìn)行顯式維護(hù)的，對這種雙花攻擊有天然的保護(hù)性。在以太坊平臺上交易時，交易中所使用的以太幣不用說明說明來源，所以在此發(fā)起交易時只會重新扣除一筆以太幣，雙花攻擊不會起作用。但與之對應(yīng)的重放攻擊就有可能威脅到系統(tǒng)的安全，所以在以太坊每次發(fā)起交易時，交易中也包含了一個交易計數(shù)，這個數(shù)值會隨著交易一起被寫入?yún)^(qū)塊鏈中。如果發(fā)起重放攻擊，交易次數(shù)的存在就會組織本次交易再次執(zhí)行，保證了系統(tǒng)的安全性。在任何程序的執(zhí)行過程中，系統(tǒng)都很怕遇到程序在執(zhí)行過程中出現(xiàn)死循環(huán)，因為這將引起系統(tǒng)的不穩(wěn)定。在以太坊的智能合約執(zhí)行時，交易發(fā)起之前都會聲明一個變量，叫做本次交易的燃料上限（GasLimit）。這個變量規(guī)定了本次交易最高可用燃料費(fèi)的值，一旦本次交易還未完成時的交易費(fèi)用超過燃料上限值，那么本次交易將會被回滾，本次操作不會被正確執(zhí)行。保證合約的安全性是一個非常重要的部

【參考文獻(xiàn)】：
期刊論文
[1]智能制造及其關(guān)鍵技術(shù)研究現(xiàn)狀與趨勢綜述[J]. 張映鋒,張黨,任杉.  機(jī)械科學(xué)與技術(shù). 2019(03)
[2]區(qū)塊鏈技術(shù)在物聯(lián)網(wǎng)中的身份認(rèn)證研究[J]. 楊惠杰,周天祺,桂梓原.  中興通訊技術(shù). 2018(06)
[3]基于區(qū)塊鏈的智能合約技術(shù)與應(yīng)用綜述[J]. 賀海武,延安,陳澤華.  計算機(jī)研究與發(fā)展. 2018(11)
[4]基于區(qū)塊鏈的智能物件認(rèn)證技術(shù)方案設(shè)計[J]. 段瓊瓊,項定華,史紅周.  信息網(wǎng)絡(luò)安全. 2018(09)
[5]國內(nèi)外區(qū)塊鏈技術(shù)概況及其在制造業(yè)中的應(yīng)用[J]. 孫柏林.  自動化博覽. 2018(07)
[6]智能制造面臨的重大科學(xué)問題和關(guān)鍵技術(shù)[J]. 石鎮(zhèn)山,劉越芳.  電器與能效管理技術(shù). 2017(24)
[7]基于區(qū)塊鏈2.0的以太坊初探[J]. 李赫,孫繼飛,楊泳,汪松.  中國金融電腦. 2017(06)
[8]區(qū)塊鏈技術(shù)與應(yīng)用前瞻綜述[J]. 何蒲,于戈,張巖峰,鮑玉斌.  計算機(jī)科學(xué). 2017(04)
[9]基于區(qū)塊鏈的應(yīng)用系統(tǒng)開發(fā)方法研究[J]. 蔡維德,郁蓮,王榮,劉娜,鄧恩艷.  軟件學(xué)報. 2017(06)
[10]智能合約的形式化驗證方法[J]. 胡凱,白曉敏,高靈超,董愛強(qiáng).  信息安全研究. 2016(12)

碩士論文
[1]基于區(qū)塊鏈的物聯(lián)網(wǎng)信息安全技術(shù)研究[D]. 于仁飛.電子科技大學(xué) 2019
[2]區(qū)塊鏈智能合約技術(shù)的研究[D]. 許雄.電子科技大學(xué) 2019



本文編號：3598615