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

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

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

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