在鐵路運輸系統(tǒng)中,鐵路信號系統(tǒng)是整個鐵路系統(tǒng)運行的中樞神經(jīng),是確保列車運行安全及效率的核心因素,因其安全苛求特性,在研究、應(yīng)用及發(fā)展中受到了國內(nèi)外的廣泛關(guān)注。隨著我國高速鐵路技術(shù)的快速發(fā)展,對鐵路信號系統(tǒng)的安全性提出了更高的要求。近年來,工業(yè)控制系統(tǒng)網(wǎng)絡(luò)安全問題層出不窮,鐵路信號系統(tǒng)作為工業(yè)控制系統(tǒng)的一種特殊應(yīng)用,除了保證系統(tǒng)設(shè)備可靠、功能完整之外,承載信息傳輸網(wǎng)絡(luò)的安全問題也是迫切需要關(guān)注和解決的問題。本文總結(jié)了目前鐵路信號系統(tǒng)通信協(xié)議安全和工業(yè)控制系統(tǒng)領(lǐng)域網(wǎng)絡(luò)安全的研究現(xiàn)狀,以鐵路信號系統(tǒng)中安全關(guān)鍵的RSSP-2通信協(xié)議和鐵路信號系統(tǒng)網(wǎng)絡(luò)作為研究對象來展開研究。論文的主要工作如下:(1)針對鐵路信號系統(tǒng)通信協(xié)議的安全性問題,在比較了常用的協(xié)議安全性分析的方法之后,引入了形式化建模中的通信順序進程方法,分析了RSSP-2通信協(xié)議的層次結(jié)構(gòu)、威脅防御措施以及應(yīng)用實例,對通信協(xié)議的密鑰服務(wù)流程和對等實體認證過程這兩個安全關(guān)鍵的重點內(nèi)容進行了相應(yīng)的建模研究工作。采用模型檢測工具Casper-FDR對協(xié)議安全屬性中的保密性,認證性進行了驗證,分析了對應(yīng)的驗證結(jié)果。(2)結(jié)合工業(yè)控制系統(tǒng)信息網(wǎng)絡(luò)安全技術(shù),在實際現(xiàn)場調(diào)研的基礎(chǔ)上,得出了鐵路信號系統(tǒng)的網(wǎng)絡(luò)安全需求。根據(jù)安全需求,在實驗室環(huán)境下搭建了鐵路信號系統(tǒng)安全數(shù)據(jù)網(wǎng)滲透測試平臺。首先在該平臺下做了漏洞掃描工作,其次從安全數(shù)據(jù)網(wǎng)內(nèi)設(shè)備主機的操作系統(tǒng)、交換機的操控口令、賬戶密碼這三個方面對安全數(shù)據(jù)網(wǎng)進行了安全滲透測試工作,最后對測試結(jié)果進行了分析。(3)拒絕服務(wù)攻擊是計算機網(wǎng)絡(luò)中影響較大的一種攻擊方式。但是,在已投入運營的鐵路信號系統(tǒng)中進行網(wǎng)絡(luò)攻擊測試難度較大且目前的實驗室環(huán)境條件有限。針對上述問題,本文利用Matlab\SimEvents離散事件網(wǎng)絡(luò)仿真環(huán)境,對拒絕服務(wù)攻擊做了相應(yīng)的仿真工作,得出并分析了仿真結(jié)果。此外,還仿真了無攻擊者的場景,然后把無攻擊者和有攻擊的場景進行了對比分析,得出相應(yīng)的結(jié)論。
【學(xué)位授予單位】:北京交通大學(xué)
【學(xué)位級別】:碩士
【學(xué)位授予年份】:2016
【分類號】:U284.95;TP393.08
文章目錄
致謝
摘要
ABSTRACT
1 引言
1.1 研究背景及意義
1.2 國內(nèi)外研究現(xiàn)狀
1.2.1 通信協(xié)議安全性研究現(xiàn)狀
1.2.2 鐵路信號系統(tǒng)協(xié)議安全性研究現(xiàn)狀
1.2.3 鐵路信號系統(tǒng)網(wǎng)絡(luò)安全性研究現(xiàn)狀
1.3 論文結(jié)構(gòu)及研究內(nèi)容
2 基礎(chǔ)理論與技術(shù)
2.1 通信協(xié)議與網(wǎng)絡(luò)安全
2.2 協(xié)議安全性分析形式化方法
2.2.1 定理證明方法
2.2.2 模態(tài)邏輯方法
2.2.3 模型檢測方法
2.3 通信順序進程方法
2.3.1 通信順序進程方法概述
2.3.2 通信順序進程語法和語義
2.4 工控系統(tǒng)網(wǎng)絡(luò)安全
2.4.1 工業(yè)控制系統(tǒng)特點
2.4.2 滲透測試技術(shù)
2.4.3 拒絕服務(wù)攻擊技術(shù)
2.5 本章小結(jié)
3 RSSP-2協(xié)議建模
3.1 建模工具
3.2 RSSP-2通信協(xié)議概述
3.2.1 RSSP-2通信協(xié)議層次架構(gòu)
3.2.2 RSSP-2安全威脅及防御措施
3.2.3 RSSP-2協(xié)議在RBC-CBI應(yīng)用
3.3 密鑰服務(wù)流程
3.3.1 建立模型
3.3.2 驗證模型
3.4 對等實體認證
3.4.1 建立模型
3.4.2 驗證模型
3.5 本章小結(jié)
4 網(wǎng)絡(luò)滲透測試
4.1 鐵路信號系統(tǒng)安全數(shù)據(jù)網(wǎng)結(jié)構(gòu)
4.2 鐵路信號系統(tǒng)網(wǎng)絡(luò)安全需求分析
4.3 測試工具和環(huán)境
4.4 測試項目
4.4.1 漏洞掃描測試
4.4.2 密碼破解測試
4.4.3 重啟攻擊測試
4.5 本章小結(jié)
5 網(wǎng)絡(luò)攻擊仿真
5.1 仿真工具
5.2 無攻擊者場景
5.2.1 建立模型
5.2.2 仿真結(jié)果
5.3 拒絕服務(wù)場景
5.3.1 建立模型
5.3.2 仿真結(jié)果
5.4 本章小結(jié)
6 總結(jié)與展望
6.1 全文總結(jié)
6.2 研究展望
參考文獻
圖索引
表索引
作者簡歷及攻讀碩士/博士學(xué)位期間取得的研究成果
學(xué)位論文數(shù)據(jù)集
【相似文獻】
中國期刊全文數(shù)據(jù)庫 前10條
1 I.Watanabe ,嚴云升;鐵路信號系統(tǒng)安全性定量評估方法[J];變流技術(shù)與電力牽引;2004年01期
2 王令朝;;新興技術(shù)在鐵路信號系統(tǒng)中的應(yīng)用[J];鐵道技術(shù)監(jiān)督;2007年01期
3 雷應(yīng)寧;;現(xiàn)代鐵路信號系統(tǒng)淺析[J];社科縱橫(新理論版);2007年01期
4 蘇有斌;;鐵路信號系統(tǒng)組成及影響因素分析[J];科技創(chuàng)新導(dǎo)報;2010年17期
5 魏毅;;鐵路信號系統(tǒng)影響因素[J];現(xiàn)代裝飾(理論);2011年07期
6 吳衛(wèi);;風(fēng)險評估技術(shù)在鐵路信號系統(tǒng)中的應(yīng)用[J];自動化與儀器儀表;2012年02期
7 周劍;;提高鐵路信號施工工藝確保鐵路信號系統(tǒng)運行質(zhì)量分析[J];科技創(chuàng)新導(dǎo)報;2012年34期
8 李艷峰;;基于模糊理論的鐵路信號系統(tǒng)風(fēng)險評價方法[J];鐵路通信信號工程技術(shù);2013年S1期
9 張洪;;雷擊對鐵路信號系統(tǒng)的影響分析[J];電子制作;2013年08期
10 張錫第;;關(guān)于我國鐵路信號系統(tǒng)發(fā)展中的幾個問題[J];鐵道科技動態(tài);1984年05期
中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條
1 肖女娥;風(fēng)險評估技術(shù)在鐵路信號系統(tǒng)中的研究與應(yīng)用[D];西南交通大學(xué);2009年
2 史秀紅;雷擊對鐵路信號系統(tǒng)的影響分析[D];西南交通大學(xué);2012年
3 徐寧;基于故障樹的京廣高速鐵路信號系統(tǒng)問題分析及對策[D];中國鐵道科學(xué)研究院;2015年
4 和晟姣;RSSP-2協(xié)議安全性建模及鐵路信號系統(tǒng)網(wǎng)絡(luò)安全性分析[D];北京交通大學(xué);2016年
5 邱述威;鐵路信號系統(tǒng)中遠程控制通信技術(shù)的應(yīng)用研究[D];合肥工業(yè)大學(xué);2004年
6 姜賀彬;牽引供電系統(tǒng)對鐵路信號系統(tǒng)的電磁干擾分析[D];西南交通大學(xué);2009年
7 楊連報;高速鐵路信號系統(tǒng)大數(shù)據(jù)規(guī)范化研究與運維決策支持[D];北京交通大學(xué);2015年
8 臧麗娟;職業(yè)技能教育的研究與實踐[D];長春師范大學(xué);2014年
9 鐘文燕;鐵路信號系統(tǒng)的Petri網(wǎng)建模與分析研究[D];西南交通大學(xué);2005年
10 李達;機車出入段安全系統(tǒng)的研究及實現(xiàn)[D];武漢理工大學(xué);2003年
本文編號:
1262910
本文鏈接:http://sikaile.net/guanlilunwen/ydhl/1262910.html