检索结果-内蒙古大学图书馆

中文科技期刊数据库(文摘版)工程技术 2025年第2期 198-201页

作者：张习玲山东国泰大成科技有限公司山东泰安 271000

随着电力系统自动化水平的不断提升,电力仪表自动化系统在数据采集与控制中的应用越来越广泛。然而,由于电力仪表系统面临着复杂的通信环境与严苛的安全挑战,如何保障数据的安全传输成为亟需解决的问题。本文介绍了电力仪表自动化系统... 详细信息

随着电力系统自动化水平的不断提升,电力仪表自动化系统在数据采集与控制中的应用越来越广泛。然而,由于电力仪表系统面临着复杂的通信环境与严苛的安全挑战,如何保障数据的安全传输成为亟需解决的问题。本文介绍了电力仪表自动化系统的组成、通信原理及其面临的安全隐患,详细分析了当前常用的安全通信协议和数据加密技术在电力仪表中的应用。通过对不同通信协议的漏洞分析与加密算法的性能优化,提出了具体的改进方案,以期为提升电力仪表自动化系统的安全性与可靠性提供了一定的技术参考。

关键词：电力仪表自动化安全通信协议数据加密网络安全信息保护

来源：评论

学校读者我要写书评

暂无评论

安全通信协议规范分层模型检验方法

引用

中国铁道科学 2021年第6期42卷 162-170页

作者：张岩杨磊曾湘毅孙文桥刘启钢中国铁道科学研究院集团有限公司运输及经济研究所北京100081 中国铁道科学研究院集团有限公司铁道科学技术研究发展中心北京100081 中国铁路南宁局集团有限公司柳州车站广西柳州545007

为合理控制复杂安全通信协议规范模型状态空间的体积,清晰完备地发现协议规范的死锁、活锁和属性缺陷,提出1种根据协议固有层次逐层建模和检验的方法。使用接口自动机网络(IAN)对目标层的上下层进行深入提取,抽象出协议规范的3层模型。... 详细信息

为合理控制复杂安全通信协议规范模型状态空间的体积,清晰完备地发现协议规范的死锁、活锁和属性缺陷,提出1种根据协议固有层次逐层建模和检验的方法。使用接口自动机网络(IAN)对目标层的上下层进行深入提取,抽象出协议规范的3层模型。依据由IAN模型至着色Petri网(CPN)模型的转化规则,将建立的IAN模型转换为CPN模型;提出利用模型检验工具CPN Tools检验扩展语言ASK-CTL描述的具有存在一致性和前向强制一致性2类属性的方法。选择列车运行控制系统安全通信协议的安全功能模块规范进行实例研究。结果表明:提出的分层模型检验方法,可将模型状态空间的体积控制在要求的规模以内;安全通信协议的安全功能模块规范不存在死锁和活锁,说明安全功能模块流程设计合理;但存在安全功能模块连接建立过程不成功、高优先级数据无法传输和车地间通信连接断开的情况,因此列车控制系统应用层应具备连接功能失效的响应处理流程,以及故障导向安全的防护功能。

关键词：安全通信协议协议规范验证模型检验接口自动机网络列车控制系统着色Petri网

来源：评论

学校读者我要写书评

暂无评论

无线列控系统安全通信协议性能评价规则的制定方法

引用

中国铁道科学 2018年第5期39卷 119-126页

作者：陈黎洁黄银霞高莺刘宏杰孙超中国铁道科学研究院标准计量研究所北京100081 中国铁道科学研究院研究生部北京100081 北京交通大学列车运行控制系统国家工程研究中心北京100044

针对传统方法在评价列控系统安全通信协议性能时存在只能定性不能定量和对评价人员掌握评价尺度有差异考虑不足的问题,基于利用有色Petri网模型对列控系统安全通信协议性能的仿真结果,运用决策论中的概念格理论对有关安全通信协议性能(... 详细信息

针对传统方法在评价列控系统安全通信协议性能时存在只能定性不能定量和对评价人员掌握评价尺度有差异考虑不足的问题,基于利用有色Petri网模型对列控系统安全通信协议性能的仿真结果,运用决策论中的概念格理论对有关安全通信协议性能(包括建立安全链接需要的时间和传输信息需要的时间)的仿真数据进行分析,研究制定安全通信协议的性能评价规则。运用Dempster-Shafer理论,分析评价人员应用给出的安全通信协议性能评价规则对安全通信协议性能进行评价所得评价结果的不确定性,以验证所提出安全通信协议性能评价规则的可行性。结果表明,使用所制定的安全通信协议性能评价规则克服了传统方法的不足,而且以概率的形式定量表示安全通信协议的性能,可使评价结果更全面也更具有说服力。

关键词：列车运行控制系统安全通信协议性能评价评价规则概念格 Dempster-Shafer理论

来源：评论

学校读者我要写书评

暂无评论

基于交换式以太网安全通信协议的模型和仿真研究

引用

铁道学报 2010年第3期32卷 43-48页

作者：张岩唐涛马连川徐田华北京交通大学轨道交通控制与安全国家重点实验室北京100044 北京交通大学城市轨道交通自动化与控制北京市重点实验室北京100044

在基于通信的列车控制系统中,区域控制中心ZC(Zone Controller)子系统负责向列车发布移动授权,对于保障列车安全高效运营具有重要作用。为提高ZC的可靠性,设计中通常会使用冗余结构,其内部的安全通信协议就成为系统成败的关键。本文介... 详细信息

在基于通信的列车控制系统中,区域控制中心ZC(Zone Controller)子系统负责向列车发布移动授权,对于保障列车安全高效运营具有重要作用。为提高ZC的可靠性,设计中通常会使用冗余结构,其内部的安全通信协议就成为系统成败的关键。本文介绍构建于UDP协议之上的ZC内部安全通信协议的设计与实现,利用OP-NET网络仿真工具对该协议进行建模,并模拟VxWorks实时操作系统的多任务调度环境,构建基于交换式以太网的通信性能仿真研究平台。根据ZC的实际运行情况,对通信过程进行仿真,分析了发送窗口对报文最大时延的影响。仿真结果表明,适当的发送窗口数量可以兼顾通信效率和时间精度。

关键词：基于通信的列车控制系统交换式以太网安全通信协议 OPNET 最大时延

来源：评论

学校读者我要写书评

暂无评论

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

引用

铁道学报 2012年第7期34卷 70-76页

作者：陈黎洁单振宇唐涛北京交通大学轨道交通控制与安全国家重点实验室北京100044

安全通信协议是保证基于通信的列车运行控制系统中通信安全的主要因素,其性质和最终实现正确的形式化验证具有重要意义。本文将欧洲列车运行控制系统安全通信协议规范中的一些未强制规定的要求明确化,选择分层赋时有色Petri网(CPN)对修... 详细信息

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

关键词：安全通信协议 ETCS EURORADIO 有色Petri网形式化分析

来源：评论

学校读者我要写书评

暂无评论

基于通信的列车运行控制系统安全通信协议的性能分析

引用

铁道学报 2017年第5期39卷 71-77页

作者：陈黎洁黄银霞刘宏杰 Eckehard Schnieder 高莺中国铁道科学研究院标准计量研究所北京100081 北京交通大学列车运行控制系统国家工程研究中心北京100044 北京交通大学轨道交通控制与安全国家重点实验室北京100044 布伦瑞克工业大学交通安全与自动化研究所布伦瑞克38106 中国铁道科学研究院通信信号研究所北京100081

安全通信协议是保证基于通信的列车运行控制系统中通信安全的主要因素,其性能分析具有重要意义。针对基于通信的列车运行控制系统安全通信协议,选择分层赋时有色Petri网(CPN)对其进行研究,建立状态转换模型与包含数据延时和信道故障的模... 详细信息

安全通信协议是保证基于通信的列车运行控制系统中通信安全的主要因素,其性能分析具有重要意义。针对基于通信的列车运行控制系统安全通信协议,选择分层赋时有色Petri网(CPN)对其进行研究,建立状态转换模型与包含数据延时和信道故障的模型,通过改变数据延时的概率和信道无故障的概率,对安全通信协议的稳定性和失效率进行仿真,仿真结果对安全通信协议的设计有一定的参考意义,用概率论与数理统计知识对仿真结果进行分析,分析结果体现数据延时和信道故障是如何影响安全通信协议的性能的。分析结果表明基于通信的列车运行控制系统安全通信协议是合理的。

关键词：基于通信的列车运行控制系统安全通信协议有色Petri网概率论数理统计

来源：评论

学校读者我要写书评

暂无评论

适用于智能电表双向互动系统的安全通信协议

引用

电力系统自动化 2016年第17期40卷 93-98页

作者：赵兵翟峰李涛永李保丰付义伦岑炜中国电力科学研究院北京市100192

根据智能电表双向互动系统逻辑结构和业务需求,提出了一种融合协议过滤、双向身份认证、访问列表查询和优先级控制等方法的智能电表双向互动、多重防护安全通信协议(BIMP),并采用BAN逻辑形式化分析方法和非形式化分析方法验证了其性能。... 详细信息

根据智能电表双向互动系统逻辑结构和业务需求,提出了一种融合协议过滤、双向身份认证、访问列表查询和优先级控制等方法的智能电表双向互动、多重防护安全通信协议(BIMP),并采用BAN逻辑形式化分析方法和非形式化分析方法验证了其性能。BIMP在达到预期目标的同时具有安全保密性、抗攻击性、通信效率较高等特点,能够满足智能电表双向互动系统实际业务应用需求。

关键词：智能电表双向互动安全通信协议 BAN逻辑非形式化分析

来源：评论

学校读者我要写书评

暂无评论

区域计算机联锁系统站间安全通信协议的设计与分析

引用

铁道学报 2015年第3期37卷 59-63页

作者：王瑞峰刘涛李滢兰州交通大学自动化与电气工程学院甘肃兰州730070

针对区域计算机联锁系统站间通信的安全需求,采取增加安全相关传输功能的措施,设计了一种适用于区域计算机联锁系统的安全通信协议,该协议采用了序列号、时间戳、超时机制、源和目标标识、安全码等防御措施,以抵御不同的威胁,通过设置... 详细信息

针对区域计算机联锁系统站间通信的安全需求,采取增加安全相关传输功能的措施,设计了一种适用于区域计算机联锁系统的安全通信协议,该协议采用了序列号、时间戳、超时机制、源和目标标识、安全码等防御措施,以抵御不同的威胁,通过设置安全标志位实现故障导向安全功能。利用OPNET工具对协议的实时性进行仿真,分析了报文长度与总线位速率对最大时延的影响。最后对协议进行安全性分析并计算出每小时的危险失效率为1.5×10-10,符合欧洲安全标准SIL4的要求。

关键词：区域计算机联锁系统安全通信协议实时性安全性

来源：评论

学校读者我要写书评

暂无评论

一个适用于分布式入侵检测系统的安全通信协议

引用

计算机工程 2006年第12期32卷 157-159页

作者：王娜王亚弟汪斌强解放军信息工程大学电子技术学院郑州450002 国家数字交换系统工程技术研究中心郑州450002

分布式入侵检测系统的模块间需要进行安全通信,但是目前存在的安全通信协议不能充分保证系统通信的安全性。为满足入侵检测系统中模块间通信可靠、机密、身份认证、数据完整及新鲜的需求,该文提出了一个基于TCP协议的模块间传输安全(MTS... 详细信息

分布式入侵检测系统的模块间需要进行安全通信,但是目前存在的安全通信协议不能充分保证系统通信的安全性。为满足入侵检测系统中模块间通信可靠、机密、身份认证、数据完整及新鲜的需求,该文提出了一个基于TCP协议的模块间传输安全(MTS)协议。MTS协议由握手子协议和密文传输子协议构成,前者用于协商会话密钥及通信双方的身份认证,后者则使用协商的会话密钥实现数据的安全传输。最后验证了MTS协议的安全性,并在开放的分布式入侵检测系统(ODIDS)中实现了该协议。

关键词：入侵检测系统安全通信协议协议设计形式化验证 Murphi

来源：评论

学校读者我要写书评

暂无评论

一种新的安全通信协议安全性验证框架

引用

计算机应用研究 2009年第10期26卷 3888-3890,3917页

作者：谭渊徐中伟梅萌吴剑同济大学电子与信息工程学院上海201804

将CRA应用于安全通信协议的层次结构分析领域,采用LTS对协议的层次结构进行行为建模,并利用映像LTS描述协议行为的安全属性。采用接口技术对行为模型和属性模型进行组合约简,通过观察组合模型中错误状态是否可达来判定协议是否安全,为... 详细信息

将CRA应用于安全通信协议的层次结构分析领域,采用LTS对协议的层次结构进行行为建模,并利用映像LTS描述协议行为的安全属性。采用接口技术对行为模型和属性模型进行组合约简,通过观察组合模型中错误状态是否可达来判定协议是否安全,为安全通信协议的安全性验证提供了一种新的框架。最后基于该框架给出FSFB/2(fail safe field bus/2)协议的安全性验证,表明该框架的可用性。

关键词：安全通信协议安全性验证标记迁移系统组合可达分析

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：