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