基于SDL的通信协议开发平台

SDL当前已经普遍应用在通信协议开发中,介绍了一个基于SDL的通信协议开发平台框架和平台中对SDL关键元素的实现方法,通过这个平台提高了通信协议开发中从SDL描述到代码开发的效率和代码的可维护性。     

安全协议多目标语言代码自动化实现方案

提出了安全协议多目标语言代码自动化实现方案。首先,基于XML语言,设计了安全协议描述方法;其次,开发了一个图形用户接口GUI,用户通过GUI配置安全协议,自动化生成协议的XML描述文档;最后,设计并实现了一个安全协议编译器,将先前得到的XML描述文档作为输入,生成所需的目标语言代码。分析表明同已有方案相比,该方案具有明显的优势。     

基于UML的面向对象通信协议建模技术研究

协议描述是协议开发进程和协议工程中非常重要的一步。提出使用UML来对协议的行为、结构和体系建模,包括了协议的静态和动态2个方面,并以一个简单的通信协议和服务作为实例来说明将UML用于协议描述的技术。     

安全协议的一种CSP开发框架

论文基于系统的API平台提出安全协议的一种CSP开发框架,将形式化方法与高级语言有机结合起来,实现了协议由形式化说明转换为可执行代码处理过程的自动化,有利于快捷准确地将已完成CSP验证的安全协议翻译为可执行代码,避免了在将CSP描述转换为可执行代码预处理过程中引入安全隐患的可能性。     

专用短程通信的分层仿真方法的研究及其应用

DSRC协议是为ITS中短距离间通信的系统专门开发的通信协议。本文通过应用Telelogic工具的仿真器,对基于SDL描述的DSRC协议采用分层仿真的方法进行仿真,实践证明上述方法的应用对保证协议开发的正确性和完备性都起到了重要的作用。     

专用短程通信协议描述方法的研究及应用

DSRC协议是为ITS中短距离间通信的系统专门开发的通信协议。通过应用SDL语言对DSRC协议的描述和验证,提出了建立抽象化模型、环境模块化、循环开发等方法,并进行了MAC子层的概要性设计和MAC子层中的transmission模块的过程化设计,重点论述了如何将上述方法应用到实际开发工作中去。     

协议规范、验证及测试的新发展(英文)

有次序的引入新的通信协议,例如开放系统互连的标准化,需要细致地分析所提出的协议,并对协议实现的发展和测试工作。最近在形式描述技术(FDT)领域及其用于协议设计验证、实现开发和测试方面已做了大量的研究工作。本文是这些问题的引论,并且对这些领域的最新研究作了评论。本文试图阐明形式协议规范,它们的验证和协议实现一致性测试等工作的总的趋向。形式规范用于协议的实现也作了讨论。     

基于领域专用语言的数据帧解析研究

测控系统中存在着大量的通信协议和二进制数据,不同的协议使用不同的数据帧格式,为了能够有效地判断数据的正确性,需要对数据帧进行解析.讨论了使用领域专用语言的方法实现定制不同的数据帧解析策略,使数据帧的解析和处理具有通用性和扩展性.     

基于pyGTK的多协议串口调试软件的开发

针对现有串口调试工具无法解析各种通信协议的缺陷,使用pyGTK、glade等开源软件,开发了一款适用于多种协议的串口调试软件,不仅实现了多种常见协议,而且开放了协议接口,用户可以自由扩展协议。该软件已调试通过,以此软件为蓝本,可以进一步开发适合工程应用的串口监控软件。     

Implementing communication protocols in Java

As the number and variety of Web- and network-based applications continues to increase, so does the need for flexible communication protocols and services to support them. Traditionally, a major impediment to deployment of new protocols and services is the need to upgrade millions of end systems with compatible implementations. At the same time, Java-a language explicitly designed to support development and distribution of new applications via the Web-is emerging as a (potentially) ubiquitous system platform. It is therefore natural to consider whether Java might speed the introduction of protocols to better support new applications. We discuss the suitability of Java as an environment for implementing and deploying communication protocols. Using insights from a Java-based protocol suite and supporting protocol subsystem we have implemented, we describe the benefits of using Java for protocol development and deployment, and how protocol programmers can implement protocols taking advantage of those benefits     

An efficient reliable broadcasting protocol for wireless mobile ad hoc networks

The mobile ad hoc network (MANET) has recently been recognized as an attractive network architecture for wireless communication. Reliable broadcast is an important operation in MANET (e.g., giving orders, searching routes, and notifying important signals). However, using a naive flooding to achieve reliable broadcasting may be very costly, causing a lot of contention, collision, and congestion, to which we refer as the broadcast storm problem. This paper proposes an efficient reliable broadcasting protocol by taking care of the potential broadcast storm problem that could occur in the medium-access level. Existing protocols are either unreliable, or reliable but based on a too costly approach. Our protocol differs from existing protocols by adopting a low-cost broadcast, which does not guarantee reliability, as a basic operation. The reliability is ensured by additional acknowledgement and handshaking. Simulation results do justify the efficiency of the proposed protocol.     

西门子工业以太网在炼焦生产系统中的应用

介绍了工业以太网的发展状况和S7400 S5兼容的通信协议和S7通讯协议通讯方式。同时介绍了上述两种通讯协议在S7400系统在炼焦生产系统中的编程应用。     

Password-based three-party authenticated key exchange protocol from lattices

Password-based three-party authenticated key exchange protocol allow clients to establish a protected session key through a server over insecure channels.Most of the existing PAKE protocols on lattices were designed for the two parties,which could not be applied to large-scale communication systems,so a novel three-party PAKE protocol from lattices was proposed.The PAKE protocol was constructed by using a splittable public-key encryption scheme and an associated approximate smooth projective Hash function,and message authentication mechanism was introduced in the protocol to resist replay attacks.Compared with the similar protocols,the new protocol reduces the number of communication round and improves the efficiency and the security of protocol applications.     

无线传感器网络MAC层协议的对比研究

无线传感器网络是二十一世纪新兴的网络技术，它的出现使网络的发展进入一个新的阶段。针对无线传感器网络MAC层协议的研究一直是人们普遍关注的问题。总结了近年来的研究成果并针对TDMA，IEEE802．15．4，S—MAC，T—MAC几种典型的MAC层协议进行了对比分析，根据其各自的优点提出将来工作的方向和建议。     

Efficiency measure of routing protocols in vehicular ad hoc network using freeway mobility model

To move packets among the vehicles mobility pattern of vehicles in a vehicular network performs an imperative factor for creating competent routing protocol. To reproduce the movement features of vehicles in VANET is the main purpose of the mobility model. Manhattan mobility model is conversed by a lot of researchers. Merely very limited research study is prepared on highway and freeway mobility models. In this document Cluster scheme, different routing protocols are used to the freeway mobility based vehicular architecture. The Ns2.34 simulation effect illustrates the effort of cluster scheme over different protocols and standard 802.11p. The competence of the routing protocols in the vehicular communication by means of freeway movement pattern is estimated by different network parameters.     

基于相干态光场的连续变量测量设备无关Cluster态量子通信

由于量子通信协议理论上可以发现任何窃听者的攻击行为,因此其天然具有抗量子计算机攻击的能力。高斯相干态光场相较于纠缠态光场更容易制备和实现,利用其实现量子通信网络更具经济价值和实用价值。该文提出一种利用连续变量(CV)相干态光场就可以实现的测量设备无关(MDI)Cluster态量子通信网络协议。在此网络上可以方便地执行量子秘密共享(QSS)协议和量子会议(QC)协议。该文提出了线型Cluster态实现任意部分用户间QSS协议、星型Cluster态四用户QSS协议和QC协议,并利用纠缠模型分析了选用对称和非对称网络结构时,每种协议密钥率和传输距离之间的变化关系。结论为在量子网络中利用相干态实现QSS和QC协议提供了理论依据。     

基于三维球体模型的XML通信协议安全评估方法

针对XML通信协议的安全评估问题,提出了一种基于三维球体模型的协议安全评估方法。首先利用评估指标在球体外壳层的坐落位置构建XML通信协议的三维安全评估指标体系,以该坐标系投影面积为度量标准,运用层次分析法(AHP, analytic hierarchy process)、球体半径以及开合角度获取一、二级评估指标的权值。从XML协议的内容、通信载荷、安全隐患3个层面计算XML通信协议各安全分量的量化评估值,通过量化计算和综合分析得到XML通信协议的安全性评估结果。仿真结果表明该方法能有效地评估协议的安全性并可满足对XML通信协议的安全性评估需要。