楼宇自动控制网络通信协议BACnet实现模型的研究 被引量：15

1

作者 董春桥 刘贤德 惠晓实 《计算机工程与应用》 CSCD 北大核心 2003年第5期172-174,共3页

BACnet是开放的楼宇设备自动控制网络数据通信协议,研究并开发具有自主版权的BACnet协议软件是有重大意义的。该文分析了BACnet的体系结构及其隐含的互操作模式,提出了实现BACnet协议的系统模型,讨论了该模型的特点和实现过程。最后用... BACnet是开放的楼宇设备自动控制网络数据通信协议,研究并开发具有自主版权的BACnet协议软件是有重大意义的。该文分析了BACnet的体系结构及其隐含的互操作模式,提出了实现BACnet协议的系统模型,讨论了该模型的特点和实现过程。最后用实例证明了该实现模型的可行性。 展开更多

关键词 楼宇自动控制 网络通信协议 bacnet 智能建筑 互操作模式 实现模型

在线阅读 下载PDF 职称材料

密码协议代码执行的安全验证分析综述 被引量：9

2

作者 张焕国 吴福生 +1 位作者 王后珍 王张宜 《计算机学报》 EI CSCD 北大核心 2018年第2期288-308,共21页

密码协议安全验证分析是信息安全重点研究之一.常用的密码协议安全分析(例如,形式化分析、计算模型分析、计算可靠的形式化分析)只能从理论上验证或证明密码协议的安全,无法确保密码协议代码实际执行的安全.只有当密码协议在代码执行时... 密码协议安全验证分析是信息安全重点研究之一.常用的密码协议安全分析(例如,形式化分析、计算模型分析、计算可靠的形式化分析)只能从理论上验证或证明密码协议的安全,无法确保密码协议代码实际执行的安全.只有当密码协议在代码执行时被验证或证明安全,才能保障密码协议在实现中是安全的.因此,代码级的密码协议安全验证分析是值得关注的方向.文中分别从自动模型提取、代码自动生成、操作语义及程序精化4个方面,综述代码级的密码协议安全验证分析,并对当前代码级的密码协议安全验证分析领域中的最新成果进行详细比较、分析、总结和评论.文中以常用程序语言(C、Java、F#等)编写的密码协议为例,重点阐述密码协议代码执行的安全验证分析,并展望代码级的密码协议安全验证分析的研究方向. 展开更多

关键词 密码协议 模型 代码 执行 安全验证

在线阅读 下载PDF 职称材料

一种互操作测试的建模及测试选择方法 被引量：3

3

作者 李华 叶新铭 +2 位作者 吴承勇 王龙 王玲玲 《计算机研究与发展》 EI CSCD 北大核心 2009年第6期913-919,共7页

互操作性测试可以对设备互连互通互操作提供根本保证,一致性测试与互操作性测试既有相交的部分又各有不同.互操作性测试包括两个被测实现,其中一方有时称为QE(qualified equipment).根据被测的规范说明的不确定有限状态机模型和当前已... 互操作性测试可以对设备互连互通互操作提供根本保证,一致性测试与互操作性测试既有相交的部分又各有不同.互操作性测试包括两个被测实现,其中一方有时称为QE(qualified equipment).根据被测的规范说明的不确定有限状态机模型和当前已有的互操作性测试经验构建概率不确定有限状态机,有效地刻画当前的互操作性测试状况.基于该模型采用宽度优先算法以及一定的策略生成包含所有状态的二叉树,然后基于得到的二叉树给出了包含不确定状态的互操作性测试序列的选择算法,通过示例展示了提出的算法的有效性,并以RIP协议的计数到无穷为例展示了提出的建模方法的应用.最后给出了结论以及下一步的研究工作. 展开更多

关键词 建模 互操作性 测试序列 不确定性 协议 被测实现

在线阅读 下载PDF 职称材料

集中抄表装置及其通信系统的研究 被引量：9

4

作者 吴在军 王峥 胡敏强 《电网技术》 EI CSCD 北大核心 2002年第2期44-48,共5页

针对电能量采集及计费自动化系统对集中抄表装置的功能要求 ,以及开放系统互操作性的要求 ,对集中抄表装置的软硬件实现和通信系统的协议模型进行了详细研究。在此基础上 ,提出了一种适用于变电站的电能量自动采集系统解决方案 ,比较好... 针对电能量采集及计费自动化系统对集中抄表装置的功能要求 ,以及开放系统互操作性的要求 ,对集中抄表装置的软硬件实现和通信系统的协议模型进行了详细研究。在此基础上 ,提出了一种适用于变电站的电能量自动采集系统解决方案 ,比较好的实现了电力运行管理部门对所辖用户分时段电能、总电能的实时计量和复费率电费核算 。 展开更多

关键词 电能表 集中抄表装置 通信系统 电力系统

在线阅读 下载PDF 职称材料

一类基于事件/动作的传感器网络通讯协议设计与实现 被引量：3

5

作者 琚春华 邢建国 +3 位作者 赵文敏 袁鑫 朱微微 黄菁 《传感技术学报》 CAS CSCD 北大核心 2007年第12期2640-2646,共7页

本文针对工业过程中的现场监控设备特点,提出了一种轻量级的传感器网络协议.该协议在链路层中通过引入异步事件及主/从通信等模式,提高了实时事件响应性能;同时采用事件/动作模型,提供了一种独立于开发者和使用者、又具备扩展性的应用... 本文针对工业过程中的现场监控设备特点,提出了一种轻量级的传感器网络协议.该协议在链路层中通过引入异步事件及主/从通信等模式,提高了实时事件响应性能;同时采用事件/动作模型,提供了一种独立于开发者和使用者、又具备扩展性的应用层协议.本文还给出了链路层协议的FPGA参考实现、应用层协议的参考实现及应用实例. 展开更多

关键词 传感器网络 通信协议 事件/动作模型 FPGA实现

在线阅读 下载PDF 职称材料

路由协议测试的窗口黑盒模型和多通道的测试方法 被引量：3

6

作者 赵邑新 韩博 +1 位作者 尹霞 吴建平 《计算机研究与发展》 EI CSCD 北大核心 2001年第12期1446-1453,共8页

路由协议测试中的效率和覆盖率亟待提高 .原有通信协议测试理论将被测实现作为黑盒 ,使得大量可增强控制观察能力的手段无法利用 .因此在路由协议测试中以窗口黑盒模型描述被测实现 ,在测试结构上实现了多通道测试方法 ,提高了测试效率... 路由协议测试中的效率和覆盖率亟待提高 .原有通信协议测试理论将被测实现作为黑盒 ,使得大量可增强控制观察能力的手段无法利用 .因此在路由协议测试中以窗口黑盒模型描述被测实现 ,在测试结构上实现了多通道测试方法 ,提高了测试效率和测试覆盖率 .通过与被测模块交互的其它模块 ,增强了测试的控制观察能力 ,测试例的执行时间相比原有方式下降 5 0 % ;消除或减小了以往不能测试的范围和内容 ,相应测试例个数增加 3倍以上 ; 展开更多

关键词 路由协议测试 测试方法 窗口黑盒模型 通信协议

在线阅读 下载PDF 职称材料

一种基于对象序列图的组件交互协议设计方法 被引量：2

7

作者 魏峻 王栩 李京 《软件学报》 EI CSCD 北大核心 2001年第7期996-1006,共11页

基于组件的软件开发 (component basedsoftwaredevelopment,简称CBSD)现已成为软件开发的主流范型之一 ,其关心的核心问题是组件标准化与组件间的互操作性 .它在互操作方面被广泛采用的思想是 ,分离组件的功能与交互特征 ,使用独立部件... 基于组件的软件开发 (component basedsoftwaredevelopment,简称CBSD)现已成为软件开发的主流范型之一 ,其关心的核心问题是组件标准化与组件间的互操作性 .它在互操作方面被广泛采用的思想是 ,分离组件的功能与交互特征 ,使用独立部件 交互协议来协调组件之间的交互 .基于这种思想 ,探讨运用UML(unifiedmodel inglanguage)的对象序列图 (objectsequencediagram ,简称OSD)方法进行组件交互协议设计的多个方面的研究 ,其中包括OSD规范的形式定义以及规范的静态和动态形式分析方法 。 展开更多

关键词 对象序列图 组件 互操作 交互协议 软件开发

在线阅读 下载PDF 职称材料

C-BML关键问题研究进展 被引量：6

8

作者 黄红兵 李贤玉 王学宁 《指挥与控制学报》 2015年第3期241-253,共13页

联盟作战管理语言(Coalition Battle Management Language,C-BML)是一种在参与联合作战的指挥控制系统、建模仿真系统、自主机器系统之间表达和交换作战计划、命令、请示、报告等的标准化语言,其目的是为这些系统之间的标准化信息交换... 联盟作战管理语言(Coalition Battle Management Language,C-BML)是一种在参与联合作战的指挥控制系统、建模仿真系统、自主机器系统之间表达和交换作战计划、命令、请示、报告等的标准化语言,其目的是为这些系统之间的标准化信息交换提供支持,提高联合作战中各项行动的效率,包括训练、计划和任务执行.在概述C-BML的地位、作用和发展概况后,首先介绍了C-BML的概念和基本结构;然后鉴于C-BML第一阶段标准开发的经验和教训,探讨了C-BML发展路径与开发方法问题;在此基础上,从数据模型、语法、本体、交互协议、服务等方面,分析了C-BML的关键技术问题;最后,总结C-BML的发展和影响,旨在为我军作战管理语言的构建提供方法和技术上的启发和借鉴. 展开更多

关键词 联盟作战管理语言 互操作 联合磋商指挥控制信息交换数据模型 语法 本体 交互协议

在线阅读 下载PDF 职称材料

基于计算模型的安全协议Swift语言实施安全性分析 被引量：1

9

作者 孟博 何旭东 +2 位作者 张金丽 尧利利 鲁金钿 《通信学报》 EI CSCD 北大核心 2018年第9期178-190,共13页

分析IOS平台上的安全协议Swift语言实施安全性,对保障IOS应用安全具有重要意义。首先对已有安全协议Swift语言实施进行分析,确定Swift语言子集SubSwift,并给出其BNF;其次基于操作语义,建立SubSwift语言到Blanchet演算的映射模型,主要包... 分析IOS平台上的安全协议Swift语言实施安全性,对保障IOS应用安全具有重要意义。首先对已有安全协议Swift语言实施进行分析,确定Swift语言子集SubSwift,并给出其BNF;其次基于操作语义,建立SubSwift语言到Blanchet演算的映射模型,主要包含SubSwift语言的语句、类型到Blanchet演算的语句及类型的映射关系与规则;再次根据Sub Swift语言到Blanchet演算的映射模型,提出从安全协议Sub Swift语言实施生成安全协议Blanchet演算实施方法;最后应用Antrl4工具和Java语言开发安全协议Blanchet演算实施生成工具SubSwift2CV,分析OpenID Connect协议、Oauth2.0协议和TLS协议的SubSwift语言实施安全性。 展开更多

关键词 安全协议 实施安全性 Swift语言 形式化分析 模型抽取

在线阅读 下载PDF 职称材料

自治Agents的面向服务的协商模型 被引量：5

10

作者 刘欣 高济 《计算机工程》 CAS CSCD 北大核心 2003年第18期114-116,共3页

提出了一个基于自治Agents的面向服务的协商模型。模型主要包括两大模块：首先定义了一系列的战略和战术过程，使得Agents可以产生初始建议，评价对方的建议，以及在此基础上做出反建议；其次，定义了两个层次的Agent通信机制。二者相... 提出了一个基于自治Agents的面向服务的协商模型。模型主要包括两大模块：首先定义了一系列的战略和战术过程，使得Agents可以产生初始建议，评价对方的建议，以及在此基础上做出反建议；其次，定义了两个层次的Agent通信机制。二者相辅相成，实现了Agents间合作的动态形成和随机协调，使得Agents可以承担因环境的不确定性而需动态协作的复杂任务。 展开更多

关键词 协商协议 协商对象 推理模型 语义互操作 自治AGENT

在线阅读 下载PDF 职称材料

RSVP-TE协议性能测试框架的研究与实现 被引量：4

11

作者 潘兴亚 孙卫强 《光通信技术》 CSCD 北大核心 2014年第1期57-59,共3页

构建了RSVP-TE协议测试系统模型,搭建了一个具有良好扩展性和复用性的测试框架,并通过优化多线程和有限状态机有效地改善了框架的时间性能。在对模型进行实例化的同时完成了核心部分代码架构,为系统实现提供了技术基础和保证。

关键词 RSVP—TE 系统模型 测试框架 系统实现

在线阅读 下载PDF 职称材料

基于IEC 61850建模的智能终端设备的实现 被引量：8

12

作者 王留送 杨大勇 +2 位作者 孔波 霍富强 董永超 《高压电器》 CAS CSCD 北大核心 2015年第5期89-94,共6页

文中介绍了IEC 61850标准中智能电子设备(IED)建模的思想,在该思想上结合智能终端装置实例,从功能定义、分解、设备的对象模型等方面详细介绍了IED建模的方法和流程,给出了建模后达到的效果,对构建其他IED模型具有一定参考指导意义,实... 文中介绍了IEC 61850标准中智能电子设备(IED)建模的思想,在该思想上结合智能终端装置实例,从功能定义、分解、设备的对象模型等方面详细介绍了IED建模的方法和流程,给出了建模后达到的效果,对构建其他IED模型具有一定参考指导意义,实现了不同厂家IED之间的良好互操作性和系统无缝集成,避免重复投资,降低系统维护成本。 展开更多

关键词 IEC 61850 IED建模 智能终端 对象模型 GOOSE 互操作性

在线阅读 下载PDF 职称材料

C2P:基于Pi演算的协议C代码形式化抽象方法和工具 被引量：5

13

作者 张协力 祝跃飞 +1 位作者 顾纯祥 陈熹 《软件学报》 EI CSCD 北大核心 2021年第6期1581-1596,共16页

形式化方法为安全协议分析提供了理论工具,但经过形式化验证过的协议标准在转换为具体程序实现时,可能无法满足相应的安全属性.为此,提出了一种检测安全协议代码语义逻辑错误的形式化验证方法.通过将协议C源码自动化抽象为Pi演算模型,基... 形式化方法为安全协议分析提供了理论工具,但经过形式化验证过的协议标准在转换为具体程序实现时,可能无法满足相应的安全属性.为此,提出了一种检测安全协议代码语义逻辑错误的形式化验证方法.通过将协议C源码自动化抽象为Pi演算模型,基于Pi演算模型对协议安全属性形式化验证.最后给出了方案转换的正确性证明,并通过对Kerberos协议实例代码验证表明方法的有效性.根据该方案实现了自动化模型抽象工具C2P与成熟的协议验证工具ProVerif结合,能够为协议开发者或测试人员检测代码中的语义逻辑错误提供帮助. 展开更多

关键词 协议实现 形式化验证 PI演算 模型抽取 ProVerif

在线阅读 下载PDF 职称材料

一种基于协议组合的协议动态实现模型

14

作者 汪彪 沈苏彬 《南京邮电大学学报（自然科学版）》 2007年第3期12-17,共6页

在协议组合理论的基础上提出了一种可以动态扩展协议句法的基本协议实现模型,依据现有协议特征中的句法结构,将协议句法结构划分为4个不同的种类,针对这4种不同类型的协议句法结构具体提出了4种不同的可动态扩展的协议句法实现模型。基... 在协议组合理论的基础上提出了一种可以动态扩展协议句法的基本协议实现模型,依据现有协议特征中的句法结构,将协议句法结构划分为4个不同的种类,针对这4种不同类型的协议句法结构具体提出了4种不同的可动态扩展的协议句法实现模型。基于该模型实现的协议软件在句法结构上具有灵活可扩展的特性。当该协议扩展句法结构时候,即使相应协议软件处于执行状态,也可以不中止协议软件的运行而完成句法结构的扩展。最后以SIP协议为例,使用VOCAL源码详细说明了如何在该模型的基础上实现协议句法动态扩展。 展开更多

关键词 协议组合 协议句法 动态扩展 实现模型

在线阅读 下载PDF 职称材料