隨著信息技術(shù)的快速發(fā)展,智能建筑成為“互聯(lián)網(wǎng)+”和建筑行業(yè)深度融合的方向和突破口,而網(wǎng)絡(luò)安全漏洞的爆發(fā)式增長、移動互聯(lián)網(wǎng)、自動控制等新技術(shù)的大量應(yīng)用都給智能建筑引入了新的信息安全風(fēng)險,越來越多的網(wǎng)絡(luò)攻擊表明智能建筑是不安全的�；赥CP/IP技術(shù)的數(shù)據(jù)通信協(xié)議被廣泛應(yīng)用于智能建筑系統(tǒng)中,盡管已經(jīng)實現(xiàn)了對智能建筑設(shè)備進(jìn)行遠(yuǎn)程監(jiān)控的要求,但原始的數(shù)據(jù)通信協(xié)議面臨著更大的網(wǎng)絡(luò)攻擊威脅。本文以智能建筑協(xié)議“BACnet設(shè)備認(rèn)證”為研究對象,以有色Petri網(wǎng)理論和Delov-Yao攻擊方法為指導(dǎo),基于CPN Tools模型檢測工具,重點研究該協(xié)議的設(shè)備認(rèn)證部分的形式化建模和安全評估,挖掘協(xié)議漏洞,提出針對性的安全改進(jìn)方案,并對所提出的方案應(yīng)用CPN模型檢測工具進(jìn)行安全性驗證。1.基于有色Petri網(wǎng)理論的協(xié)議分層建模方法,在建立消息流模型的基礎(chǔ)上,基于CPN模型檢測工具,建立2層結(jié)構(gòu)的BACnet協(xié)議設(shè)備認(rèn)證的HCPN模型,對協(xié)議的工作模式和數(shù)據(jù)傳輸進(jìn)行細(xì)粒度的建模,精確反映協(xié)議運行的細(xì)節(jié),根據(jù)狀態(tài)空間分析結(jié)果對BACnet協(xié)議設(shè)備認(rèn)證模型的功能一致性進(jìn)行驗證。2.充分利用CPN在建模和驗證并... 

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

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

【文章目錄】：
摘要
Abstract
第1章 緒論
    1.1 研究背景、意義與課題來源
    1.2 BACnet研究現(xiàn)狀
        1.2.1 BACnet簡介
        1.2.2 BACnet國內(nèi)外現(xiàn)狀
        1.2.3 BACnet前景
    1.3 BACnet安全性問題研究現(xiàn)狀
    1.4 本文的主要研究工作
    1.5 本文的結(jié)構(gòu)安排
第2章 相關(guān)理論和概念
    2.1 BACnet協(xié)議
        2.1.1 BACnet協(xié)議的體系結(jié)構(gòu)
        2.1.2 BACnet協(xié)議的基本內(nèi)容
        2.1.3 BACnet協(xié)議網(wǎng)絡(luò)安全服務(wù)
        2.1.4 BACnet和 Internet互連
    2.2 Petri網(wǎng)理論基礎(chǔ)
        2.2.1 Petri網(wǎng)基本概念及特性
        2.2.2 有色Petri網(wǎng)
        2.2.3 CPN Tools
    2.3 攻擊者模型
        2.3.1 Delov-Yao攻擊者模型
        2.3.2 協(xié)議的攻擊分類
    2.4 本章小結(jié)
第3章 BACnet協(xié)議設(shè)備認(rèn)證HCPN建模
    3.1 BACnet協(xié)議設(shè)備認(rèn)證消息流模型
    3.2 BACnet協(xié)議設(shè)備認(rèn)證的建模假設(shè)和顏色集
        3.2.1 建模假設(shè)
        3.2.2 關(guān)鍵消息和顏色集定義
    3.3 BACnet協(xié)議設(shè)備認(rèn)證的HCPN模型建立
        3.3.1 BACnet協(xié)議設(shè)備認(rèn)證的頂層模型
        3.3.2 BACnet協(xié)議設(shè)備認(rèn)證的實體層模型
    3.4 原始模型的功能一致性驗證
        3.4.1 預(yù)期結(jié)果分析
        3.4.2 狀態(tài)空間結(jié)果分析
    3.5 本章小結(jié)
第4章 基于攻擊者模型的協(xié)議安全評估
    4.1 改進(jìn)的Delov-Yao攻擊者模型
    4.2 協(xié)議安全評估模型建立
    4.3 安全評估模型的狀態(tài)空間分析
        4.3.1 BACnet協(xié)議設(shè)備認(rèn)證安全評估模型的狀態(tài)空間表
        4.3.2 功能一致性分析
    4.4 本章小結(jié)
第5章 BACnet協(xié)議設(shè)備認(rèn)證的新方案
    5.1 基于HCPN建模的BACnet協(xié)議設(shè)備認(rèn)證安全新方案
    5.2 新的BACnet協(xié)議設(shè)備認(rèn)證的HCPN模型
        5.2.1 改進(jìn)后的設(shè)備認(rèn)證的CPN頂層模型
        5.2.2 改進(jìn)后的設(shè)備認(rèn)證的CPN實體層模型
    5.3 新的BACnet協(xié)議設(shè)備認(rèn)證安全評估
        5.3.1 新的設(shè)備認(rèn)證的CPN安全評估模型
        5.3.2 安全評估模型的狀態(tài)空間分析
    5.4 新方案安全性分析
    5.5 新方案性能分析和方案對比
    5.6 本章小結(jié)
總結(jié)與展望
致謝
參考文獻(xiàn)
附錄A 攻讀工程碩士學(xué)位期間所發(fā)表的學(xué)術(shù)論文
附錄B 攻讀工程碩士學(xué)位期間參與的項目


【參考文獻(xiàn)】：
期刊論文
[1]基于有色Petri網(wǎng)的網(wǎng)絡(luò)安全態(tài)勢感知模型構(gòu)建及分析[J]. 惠馨雅,劉建華,劉浩.  計算機與數(shù)字工程. 2019(02)
[2]基于DDC的樓宇智能控制系統(tǒng)設(shè)計研究[J]. 陳志銘.  工程建設(shè)與設(shè)計. 2018(10)
[3]基于BACnet的PLC控制器的設(shè)計與實現(xiàn)[J]. 郭慶,秦明達(dá),許金.  現(xiàn)代電子技術(shù). 2018(02)
[4]基于RS485總線的BACnet MS/TP狀態(tài)機實現(xiàn)[J]. 吳洪坤,付小娟,吳振遠(yuǎn),郭艷影.  佛山科學(xué)技術(shù)學(xué)院學(xué)報(自然科學(xué)版). 2016(03)
[5]BACnet網(wǎng)絡(luò)擁塞控制機制分析與建模[J]. 付保川,許維勝,奚雪峰,王中杰,劉文亮.  蘇州科技學(xué)院學(xué)報(工程技術(shù)版). 2007(04)
[6]BACnet應(yīng)用層服務(wù)的編碼實現(xiàn)[J]. 吳啟祥,胥布工,王清陽.  控制工程. 2005(S1)
[7]Petri網(wǎng)可擴(kuò)展性標(biāo)記語言[J]. 周必水,胡偉軍.  系統(tǒng)仿真學(xué)報. 2003(S1)
[8]BACnet協(xié)議的特征分析[J]. 成紅文,陳眾勵,溫伯銀.  建筑電氣. 2003(03)



本文編號：3676131