RSSP-II安全通信協(xié)議的建模和仿真.pdf

1、我國(guó)鐵路客運(yùn)專線和高速鐵路技術(shù)的發(fā)展，對(duì)列車運(yùn)行控制系統(tǒng)的安全性提出了更新更高的要求，構(gòu)建安全可靠的列車運(yùn)行控制系統(tǒng)是目前迫切需要關(guān)注和解決的問題。在中國(guó)列車運(yùn)行控制系統(tǒng)中，現(xiàn)代通信與網(wǎng)絡(luò)技術(shù)得到了普遍的應(yīng)用，而鐵路信號(hào)安全通信協(xié)議是確保安全相關(guān)信息在非可信通道上進(jìn)行安全傳輸?shù)纳蠈訁f(xié)議，開展這方面的相關(guān)研究對(duì)列車運(yùn)行控制系統(tǒng)仿真、列車運(yùn)行控制系統(tǒng)安全性研究，以及不同列車運(yùn)行控制系統(tǒng)的互聯(lián)互通性驗(yàn)證都有著非常重要的意義。
　　本文綜

2、合分析了鐵路信號(hào)安全通信協(xié)議的發(fā)展現(xiàn)狀，以RSSP-Ⅱ安全通信協(xié)議為對(duì)象展開研究，論文的主要工作如下:
　　1、引入時(shí)間自動(dòng)機(jī)理論及模型檢測(cè)工具UPPAAL，在重點(diǎn)研究RSSP-Ⅱ安全通信協(xié)議的SAI連接管理流程和時(shí)間戳初始化流程的基礎(chǔ)上，提出RSSP-Ⅱ安全通信協(xié)議的形式化建模方法，建立了相應(yīng)的模型。
　　2、在協(xié)議模型的基礎(chǔ)上構(gòu)造了時(shí)間自動(dòng)機(jī)網(wǎng)絡(luò)，使用UPPAAL對(duì)RSSP-Ⅱ安全通信協(xié)議進(jìn)行模擬仿真，對(duì)模型的活性、安全

3、性、可達(dá)性進(jìn)行了驗(yàn)證，并對(duì)驗(yàn)證結(jié)果進(jìn)行了分析。
　　3、研究了RSSP-Ⅱ安全通信協(xié)議消息鑒定安全碼的生成原理，從加密算法和殘余錯(cuò)誤兩方面對(duì)其安全性進(jìn)行分析，分析表明消息鑒定安全碼的安全性符合鐵路信號(hào)安全相關(guān)設(shè)備間進(jìn)行安全通信的安全性要求。
　　4、基于Labwindows CVI開發(fā)環(huán)境，構(gòu)建RSSP-Ⅱ安全通信仿真平臺(tái)，給出RSSP-Ⅱ安全通信協(xié)議的一種實(shí)現(xiàn)方法;通過設(shè)計(jì)測(cè)試用例，測(cè)試了SAI連接管理功能、應(yīng)用數(shù)據(jù)交互功