检索结果-南通市图书馆

基于Colored Petri网的安全协议描述和验证

在线全文

学校读者我要写书评

暂无评论

计算机科学 2006年第3期33卷 89-92页

作者：刘靖叶新铭内蒙古大学计算机学院呼和浩特010021

对网络安全协议进行形式化描述和正确性验证有助于消除协议的设计缺陷,发现协议的不精确性。本文将使用具有强数学基础和强分析能力的着色 Petri 网(Colored Petri Net,简称 CP-Nets)对 NS 公钥认证协议(Needham-Schroeder Public-Key A... 详细信息

对网络安全协议进行形式化描述和正确性验证有助于消除协议的设计缺陷,发现协议的不精确性。本文将使用具有强数学基础和强分析能力的着色 Petri 网(Colored Petri Net,简称 CP-Nets)对 NS 公钥认证协议(Needham-Schroeder Public-Key Authentication Protocol)送行建模.在此基础上分析验证该协议,阐明协议存在的缺陷并给出改进的方法。

关键词： CP-Nets 协议描述协议验证 NS公钥认证协议

现场通信协议描述软件的标准封装及多环境应用

在线全文

学校读者我要写书评

暂无评论

仪器仪表学报 2001年第Z1期22卷 475-478页

作者：邱云超费敏锐上海大学机电工程与自动化学院上海200072

本文提出并实现了现场通信协议描述控件 ,解决了 Active

关键词：协议描述 ActiveX 智能设备组态软件

在线全文

学校读者我要写书评

暂无评论

用于协议描述及验证的时态逻辑

计算机应用与软件 1992年第2期9卷 48-53,36页

作者：张骏林李江宏华北电力学院哈尔滨工业大学

本文提出了用一种新的基于要求时态逻辑对协议进行描述和验证,并给出了协议满足安全性和活性的充要条件。这种描述方法的优点在于严格、直观和方便。为了解决时态逻辑在表示过去时的不足,定义了新算子(?)表示历史,简化了协议的描述和验... 详细信息

本文提出了用一种新的基于要求时态逻辑对协议进行描述和验证,并给出了协议满足安全性和活性的充要条件。这种描述方法的优点在于严格、直观和方便。为了解决时态逻辑在表示过去时的不足,定义了新算子(?)表示历史,简化了协议的描述和验证。本文以HDLC为例,说明了协议的基于要求时态逻辑描述方法和协议的验证步骤及方法。

关键词：协议描述计算机网络时态逻辑

在线全文

学校读者我要写书评

暂无评论

基于协议描述的数据监控平台设计与实现

基于协议描述的数据监控平台设计与实现

作者：刘鑫大连理工大学

学位级别：硕士

随着工业化步伐的加快,计算机和可编程逻辑控制器(PLC)已在工业过程控制领域中得到了广泛的应用。工业生产过程的自动化水平不断提高,规模不断扩大,对多系统、多设备的集成提出了新的需求,如何能在统一的平台下集成多种监控设备,并为各... 详细信息

随着工业化步伐的加快,计算机和可编程逻辑控制器(PLC)已在工业过程控制领域中得到了广泛的应用。工业生产过程的自动化水平不断提高,规模不断扩大,对多系统、多设备的集成提出了新的需求,如何能在统一的平台下集成多种监控设备,并为各类上层监控系统提供标准的服务接口已是目前工业现场控制系统急需解决的重要问题乙一。针对上述问题,文本设计了一套基于协议描述的数据监控平台系统,通过XML语言描述各类设备通信协议格式、变量区、设备参数等多项信息,并使用面向对象思想合理的优化协、议描述文件,降低描述中的冗余信息,提高工作效率,增强描述的可行性。在提供协议描述文件的基础上设计一款数据监控平台软件,该软件主要分为描述文件管理、客户端管理、设备管理、数据管理、通信调度管理和底层通信管理等六大模块。在通信调度设计中,提出基于状态机的报文管理方式和多线程调度机制,并提供提高线程优先级的配置方法。通过提供多种上层服务访问接口,满足目前市场的绝大部分需求。最后利用本平台,通过编写EPA协议协议描述文件,与实际的PLC设备PEC8000通信,采集实时数据。在上层使用人机画面监控软件,通过本平台提供的外部访问接口获取设备实时数据并显示。利用实际应用案例证明了本数据监控平台的正确性。

关键词：数据监控 XML 协议描述面向对象多接口 PLC

基于描述PCI总线协议的开放式微机原理与接口实验系统的设计

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

实验技术与管理 2010年第6期27卷 89-92页

作者：陆志才南开大学信息技术科学学院

介绍了基于描述PCI（pevipheral component interconnect）总线协议的、开放式微机原理与接口实验系统的设计要点,给出了设计思路,介绍了系统组成,重点阐述了DMA（direct memory access）实验设计、Win-dows环境下中断实验设计、虚拟仪... 详细信息

介绍了基于描述PCI（pevipheral component interconnect）总线协议的、开放式微机原理与接口实验系统的设计要点,给出了设计思路,介绍了系统组成,重点阐述了DMA（direct memory access）实验设计、Win-dows环境下中断实验设计、虚拟仪表盘等关键技术,并从技术角度分析了此项设计的生命周期。

关键词： PCI总线协议描述微机原理接口开放式系统设计虚拟仪表盘

在线全文

学校读者我要写书评

暂无评论

利用CCS的协议描述与验证技术的研究

计算机研究与发展 1995年第3期32卷 61-65页

作者：龚正虎长沙工学院

本文讨论的ＣＣＳ在协议描述与验证方面的应用技术和两个案例分析表明，通讯系统演算ＣＣＳ（ａＣａｌｃｕｌｕｓｆｏｒＣｏｍｍｕｎｉｃａｔｉｎｇＳｙｓｔｅｍｓ）在协议描述、协议验证等方面有巨大应用潜力。

关键词：协议工程协议描述协议验证通讯系统演算

在线全文

学校读者我要写书评

暂无评论

一种能耗数据采集协议描述及生成解析方法

计算机技术与发展 2015年第4期25卷 130-133,138页

作者：俞晓华于凤芹钦道理江南大学物联网工程学院江苏无锡214122 锐泰节能系统科学有限公司江苏无锡214135

针对能耗计量仪表通信协议多标准并存的问题,分析了常用协议的特征,依据程序与数据分离的原则,提出应用三层树形结构来表示协议。采用XML文档作为协议描述文件,通过对描述文件中元素和属性的定义完成了协议描述文件的设计,并应用协议帧... 详细信息

针对能耗计量仪表通信协议多标准并存的问题,分析了常用协议的特征,依据程序与数据分离的原则,提出应用三层树形结构来表示协议。采用XML文档作为协议描述文件,通过对描述文件中元素和属性的定义完成了协议描述文件的设计,并应用协议帧某些字段的属性建立协议特征库,最后给出了通用协议帧生成与解析的实现方法。测试结果表明,该方法能很好地应用于能耗监管领域DL/T645-1997、DL/T645-2007、CJ/T188协议的描述以及数据采集协议帧的生成与能耗数据的初步解析,具有一定的通用性,避免了重复开发。

关键词：能耗数据采集协议帧协议描述协议解析