导航: >> 安全论文>> 交通安全论文>>正文

列车运行控制系统中安全通信协议的形式化分析

文档作者: 陈黎洁 单振宇 唐涛        文档来源: 北京交通大学轨道交通控制与安全国家重点实验室
点 击 数:
更新时间: 2015年04月21日
下载地址: 点击这里
文件大小: 883.33 KB
文档格式:       
下载点数: 1 点(VIP免费)
内容预览
如需编辑使用,请下载
注:预览效果可能会出现部分文字乱码(如口口口)、内容显示不全等问题,下载是正常的。
文件大小:883.33 KB      文件格式:
下载点数:1 点(VIP会员免费)

安全通信协议是保证基于通信的列车运行控制系统中通信安全的主要因素,其性质和最终实现正确的形式化验证具有重要意义。本文将欧洲列车运行控制系统安全通信协议规范中的一些未强制规定的要求明确化,选择分层赋时有色Petri网(CPN)对修改后的安全通信协议进行研究,综合安全层、信道与应用层模型提出无线通信系统模型的分层结构,通过改变信道与应用层模型的参数,分析修改的安全通信协议中安全连接建立的时间特性。分析结果表明:信道丢包率为0.1、0.05、0.01的情况下,修改的安全通信协议安全连接建立时间特性是符合规范要求的。

收藏本页到会员中心
网友评论 more
创想安科网站简介会员服务广告服务业务合作提交需求会员中心在线投稿版权声明友情链接联系我们
Baidu
map