基于有色Petri网的铁路时间同步网协议安全性分析

来源 :铁道学报 | 被引量 : 0次 | 上传用户:sisi22
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着时间同步技术在铁路领域的发展,能够实时地保证时间同步协议NTP的安全运行变得至关重要。由于NTP协议自身具备一定的安全缺陷,因此,对NTP协议的安全机制进行分析十分必要。考虑到NTP协议的无连接特性,使用有色Petri网建立其在正常工作模式下的有色Petri网模型,并分析协议在进行时间同步过程中存在的漏洞。构建入侵者成功入侵协议所需要的知识集和入侵者在入侵过程中能够获取的知识集,并使用有色Petri网对NTP协议受到入侵的过程进行建模。通过逆向状态分析方法,对NTP协议进入不安全状态的可达性进行分析,使用CPNTools软件对分析结果进行仿真验证。结果表明,NTP协议的服务器身份验证过程是不安全的。
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
当前电力市场负荷低迷,装机容量严重供大于求,于是产生了深度调峰这一低于机组50%负荷的新常态化的运行方式。准能集团矸石发电公司二期2台330MW机组深度调峰负荷为2×13
对农业政策性专项贷款问题的思考●李思明袁新根胡兴武农业政策性专项贷款是增强农业后劲,提高农业综合生产能力的重要资金来源。搞好政策性专项贷款管理是农发行发挥扶持、保
理性思维是学生通过生物学习应获得的核心素养之一,在课堂教学中可利用"问题串"的教学形式,逐步引导学生学会利用归纳与概括、演绎与推理、模型与建模、批判性思维等方法,有
集中解决突出问题为了切实把乡镇党委建设作为带动农村全部工作的总动力,强化农村工作前沿指挥部,1996年4月份开始,宜春地区采取集中思想、集中时间、集中力量、集中解决突出问题的办
<正>肱骨髁上骨折是儿童较常见的损伤,复位及固定不良易发生畸形愈合、肘内翻及关节强直等并发症。作者从1993年至1996年对12例闭合复位失败及就诊晚肿胀起水泡者采用交叉钢
【正】 十一届三中全会以来,广大农民得到了实惠,收入逐年增长。但是,“平均增长”掩盖下的贫富差距也同时存在,若不引起高度重视,差距将愈来愈大,影响农村奔小康的进程。党
文章结合寺河矿井实际工程情况,详细介绍了下组15#煤层与3#煤进行配采时开采方案中盘区巷道布置、采煤工作面布置以及采煤方法及工艺等主要关键技术,对今后相似工况下的煤炭开采
综合了中国科学院金属研究所高温合金和金属间化合物研究组在高温合金蠕变研究方面的主要成果:蠕变和断裂规律及其机理,蠕变-环境交互作用及其机理,蠕变阻力模型以及疲劳-蠕变