導(dǎo)航：安全管理網(wǎng)>> 安全論文>> 交通安全論文>>正文

列車運行控制系統(tǒng)中安全通信協(xié)議的形式化分析

文檔作者：陳黎潔單振宇唐濤文檔來源：北京交通大學(xué)軌道交通控制與安全國家重點實驗室		點擊數(shù)：	更新時間： 2015年04月21日
下載地址：點擊這里	文件大?。?883.33 KB	文檔格式：	下載點數(shù)： 1 點（VIP免費）

全屏查看

內(nèi)容預(yù)覽

如需編輯使用，請下載。

注：預(yù)覽效果可能會出現(xiàn)部分文字亂碼（如口口口）、內(nèi)容顯示不全等問題，下載是正常的。

文件大?。?83.33 KB 文件格式：
下載點數(shù)：1 點（VIP會員免費）

安全通信協(xié)議是保證基于通信的列車運行控制系統(tǒng)中通信安全的主要因素，其性質(zhì)和最終實現(xiàn)正確的形式化驗證具有重要意義。本文將歐洲列車運行控制系統(tǒng)安全通信協(xié)議規(guī)范中的一些未強制規(guī)定的要求明確化，選擇分層賦時有色Ｐｅｔｒｉ網(wǎng)（ＣＰＮ）對修改后的安全通信協(xié)議進行研究，綜合安全層、信道與應(yīng)用層模型提出無線通信系統(tǒng)模型的分層結(jié)構(gòu)，通過改變信道與應(yīng)用層模型的參數(shù)，分析修改的安全通信協(xié)議中安全連接建立的時間特性。分析結(jié)果表明：信道丟包率為０．１、０．０５、０．０１的情況下，修改的安全通信協(xié)議安全連接建立時間特性是符合規(guī)范要求的。