【摘 要】
：
为保障铁路系统可靠稳定运行，提高铁路时间同步网安全防护能力，利用着色Petri网（CPN）分析铁路时间同步网身份认证的安全性。首先，基于Autokey模型的时间同步协议认证过程，建立基于公共参数的挑战应答身份认证过程的CPN模型，同时，利用该模型分析基于公共参数的挑战应答运行机制可能存在的漏洞。然后，建立中间人攻击下的挑战应答过程的CPN模型，并利用逆向状态分析法建立模型的状态方程，分析身份认证协
【基金项目】
：
甘肃省自然科学基金资助（20JR10RA218）；
论文部分内容阅读
为保障铁路系统可靠稳定运行，提高铁路时间同步网安全防护能力，利用着色Petri网（CPN）分析铁路时间同步网身份认证的安全性。首先，基于Autokey模型的时间同步协议认证过程，建立基于公共参数的挑战应答身份认证过程的CPN模型，同时，利用该模型分析基于公共参数的挑战应答运行机制可能存在的漏洞。然后，建立中间人攻击下的挑战应答过程的CPN模型，并利用逆向状态分析法建立模型的状态方程，分析身份认证协议不安全状态的可达性。最后，利用CPN Tools软件仿真验证安全性分析结果。结果表明：CPN模型分析出铁路时间同步网挑战应答身份认证的过程存在安全漏洞，客户端对挑战应答报文源信息验证的缺乏，会导致中间人伪造的挑战应答报文可以通过客户端身份认证，实现操纵时间节点的目的。通过该模型演绎中间人的攻击序列，可为铁路时间同步网在制定安全防护策略时提供重要参考。
其他文献
炎症性肠病是一组慢性胃肠道炎症性疾病，临床表现为腹胀、腹泻、腹痛，有时甚至出现血便。目前用于治疗炎症性肠病的药物有氨基水杨酸、糖皮质激素和免疫抑制剂等。这些药物可以减轻或延缓炎症性肠病的发生和发展，但在长期使用后，一些患者可能会出现某种程度的毒副作用。近年来研究发现许多天然产物具有明显的抗炎作用，它们可以降低炎症性肠病的复发率，提高治疗安全性。系统综述了来自几种植物、动物和微生物天然产物的抗炎活性
为实现机电成套设备的优化设计，提出一种基于NX MCD环境建模，联合TIA博途自动控制设计，实现系统仿真与调试的方法。以物料自动化装配及分拣系统的研发为例，在NX MCD中完成机械建模、物理属性定义，构建虚拟样机；在TIA博途中完成PLC控制程序与HMI设计。借助PLCsimAdvanced建立虚拟PLC与虚拟样机的信号映射，通过仿真调试对模型和程序进行验证。继而搭建硬件设备，以PROFINET工
基于PLCSIM Adv软件实现了MCD与TIA博图软件的实时通信，使用虚拟PLC的信号控制MCD中的数字化智能换刀装置模型的运动，换刀装置模型将运动情况反馈给虚拟PLC，完成了基于PLCSIM Adv的软件在环仿真，在后期进行了智能换刀装置的样机搭建以及仿真功能测试。研究结果表明，使用PLCSIM Adv软件实现的换刀装置MCD-TIA虚拟仿真，相比于OPC服务器，具有响应快、延迟低、易操作等优
＜正＞大型互联网企业裁员给相关中小微企业带来了一波人才红利2022年2月，在入职即将满4个年头的时候，柿子忽然接到了裁员通知，接着，项目被放弃，部门被解散，申请转岗失败，她被要求三天之内办完离职手续。半年来，在头部互联网企业，这样的场景并不罕见。
在国家深化医药卫生体制改革的大前提下,着手改革试点医院,经过员工访谈和预调查,设计适用于该院员工的满意度量表,对了解员工的真实需求有着十分重要的意义。在借鉴前人量表的基础上设计符合Y医院现状的个性化问题包括工作本身、同事关系、家庭关系、工作环境、人文环境、发展建设、培训晋升、组织管理、薪酬福利、离职与归属感共10个维度的39个具体指标采用腾讯问卷进行网络调查,Likert式五点计分法予以满意度评分
教学空间作为开展教学活动的主阵地，是凝聚教育力、充满教育性的人化空间。五育融合视域下的教学空间教育力是指学校教育中教学空间所具有的教育力量，这种教育力量不是单一的，而是汇聚且平衡了德育、智育、体育、美育和劳动教育等多元融合的教育合力，主要由教学空间教育作用力、教育影响力、教育场域力共同组成。其价值取向表现在三个方面：一是以融通五育，提高人才培养质量作为根本出发点；二是以人为本，促进学生全面发展为价
新世纪以来,我国经济建设取得了重大的成就,互联网以及计算机不断地走入千家万户,这为电子商务的发展奠定了基础。近几年,电子商务的发展十分迅猛,网上购物凭借着其便捷、廉价的优点赢得了许多公民的青睐,规模与数量正源源不断地发展扩大中。然而,电子商务在发展过程中,同样存在一些弊端和制约因素,本文正是从电子商务出发,通过阐述其概念来分析其在我国当前发展过程中存在的问题,并提出合理的解决方法,力求推动电子商务
在当前经济快速发展的形势下，人们的物质生活水平有了较大程度的提升，这也使人们对食品安全更为关注。特别是近年来乳品质量安全问题频繁发生，这也对乳品生产提出了更高的要求。在当前乳品生产过程中，运用太阳能技术，可以有效提高乳品的安全性和稳定性，确保乳品质量，为人们提供更安全，放心的乳品。文章主要分析了太阳能技术在乳品生产中的应用，包括太阳能制冷、太阳能发热以及太阳能发电，并对太阳能技术的应用前景进行了展
由于多径效应的影响,基于稀疏重构理论的声源定位算法在混响环境下存在定位精度较差的问题.本文提出一种适用于混响环境的DPDT-L1SVD声源定位算法,该算法将L1-SVD稀疏信号重构声源定位算法扩展到球谐波域中,并根据球谐波域中导向矢量与频率解耦的特性将其拓展到宽带信号处理中,再与直接路径检测方法（direct-path dominant test,DPDT）相结合.由仿真实验结果可知,在低信噪比情
党的十八大以来，党中央高度重视全国统一大市场建设工作，出台了一系列相关的政策制度和规范性文件，在优化资源配置效率、畅通要素流动、推动经济发展等方面取得了显著成就。但由于历史和现实等方面的原因，市场领域仍存在着行业壁垒、地区封锁、部门分割和市场封锁等问题。结合当前国内外形势及其演化，加快建设全国统一大市场，不仅是进一步深化改革开放的重要任务，也是推进国家治理现代化的战略任务。要实现从大市场到强市场的