基于ieee+802.11标准的cbtc系统中安全通信协议设计与验证

兰州交通大学工程硕士学位论文Key Words：CBTC system, Security communication protocol, WLAN, CPN, State spaceanalysis