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