一种基于ECB模式的NSL协议改进方案

安全协议形式化方法大都在一个很高的抽象层次建立协议模型。但是协议的许多安全问题是在很低的抽象层次产生。本文分析了ECB工作模式下的NSL协议的安全问题,并通过破坏同态性的方法给出一种改进方案。通过扩展规则的BAN逻辑对NSL协议建模和分析,验证结果表明协议中存在着安全漏洞,新的改进方案可以避免这种攻击。     

现场总线在冷矫直机辅机控制系统中的应用

本文结合冷矫辅机的电气控制系统,介绍了特殊管厂热处理线冷矫直机辅机的生产工艺,分析了控制系统的工艺流程和需求,着重描述了基于Profibus—DP现场总线的该区域控制系统的结构和调速系统的构成,以及S7—300PLC、ET200M远程I／O站和ATV71系列变频器的通信功能、网络组态和参数设置。通过Profibus—DP数据通信以实现对施耐德ATV71变频器和ET200M的网络化控制,使冷矫辅机的电气控制系统高效地运行。     

基于TCP/IP协议的网络教学系统设计

通过对高校网络教学现状的调查与分析,提出了总体设计目标及设计方案,包括系统运行环境以及系统展现内容。系统采用C/S模式,通过主机与客户机发送数据包,利用网络包截获的相应技术以及包过滤等策略,对特定的数据包进行分析,将各类协议首部用的二进制代码展现,可更直观看到网络传输的具体方式,同时可将二进制代码转换为十进制,使系统具有更强的可视性。     

基于GPRS的环境监测系统的设计

为了实现对环境参数的远程实时监测,设计了一种基于GPRS的无线环境监测系统.使用GPRS网络作为无线传输网络,通过TCP/IP协议进行上位机和现场机之间的无线数据传输.使用Visual Basic.NET中的SOCKET组件以及ADO.NET技术,实现了系统数据通信和后台数据库功能模块,并给出了系统测试结果.该系统具有分布范围广、自动化监控、实时数据传输、费用低廉等特点,特别适合突发性且频繁的小流量数据传输.     

从MAC角度分析现场总线标准的多样化

不同媒体访问控制MAC协议直接导致了现场总线标准的多样化,这对现场总线的理解和应用造成了困难.具体分析了现场总线网络的特殊性,描述了目前使用的各种MAC协议及其优缺点,其中包括面向连接的协议、探询协议、TDMA、令牌环、令牌总线、虚拟令牌传递、隐性令牌传递、CSMA/CD、CSMA/CA和集总帧,进而揭示了这些MAC协议与现场总线标准之间的关系,有助于科研人员和用户选择适合需要的现场总线标准.     

使用协议宏实现欧姆龙PLC与三菱PLC的通信

协议宏是欧姆龙PLC特有的一种通信功能,通过它可方便地实现欧姆龙与其他厂家PLC之间的通信.介绍了欧姆龙PLC的协议宏功能、三菱PLC的计算机链接通信协议以及这两种不同PLC通信口的连接方式.采用欧姆龙与三菱PLC以及CX-Protocol软件,实现了协议宏的组态.经过实验证明,该方法可靠性高、简单易行、经济实用.     

一种基于SIP的自适应端到端VoIP系统设计与实现

VoIP应用程序可以以相对低廉的价格,为用户提供优质的语音甚至是视频实时通信服务,然而,IETF提供的请求/应答机制在当前充满NAT的网络环境面前,经常无法正常工作.目前的解决方案都是基于STUN协议的,而该协议会周期性地发出心跳消息以维持公网和私网地址的映射关系;这些消息对VoIP服务器来说是一种极大的资源浪费,设计并实现了一种基于SIP的自适应端到端通信系统,支持NAT下的端到端VoIP通信.系统扩展了SDP请.求/应答模型,使其能够令一个会话中的各个端用户交换公网和私网地址/端口号.通过实现一个实际系统证明了该扩展方案的可行性.一系列实验证明了提出的系统相比其它基于超级结点转发机制的VoIP应用在效率和表现上的优越性.     

无线传感器网络初始化时隙分配算法

在无线传感器网络初始阶段,节点初始状态对等,且均无法预知网络环境,这对建立MAC协议提出很大挑战,现有的MAC算法均无法适用.本文针对网络初始阶段混乱无序的情况,建立了初始数据通信模型,进而提出一种时隙分配算法,分布式地实现两跳内节点的时隙分配.该算法消除了无线网络中的暴露终端以及隐藏终端问题,保证了节点间通信的成功进行,为后续协议的应用提供了前提.仿真表明,算法能迅速、准确地实现时隙分配.算法运行时间只与节点密度有关,与网络规模关系不大.     

关于公平交换协议中使用正交验证理论的安全性分析及改进

所谓公平交换协议是指,一个电子商务协议能保证交易双方在执行协议的过程中,任何一方通过欺诈行为、误传消息或者提前终止协议这些不公平方式,都不可能从另一方获取利益.要么任何一方都可以得到对方的信息,要么双方都得不到对方的信息.Ray等学者自2000年先后提出了一系列基于正交验证理论的公平交换协议.这类协议的重要贡献之一在于,基于正交验证理论,通过使用一对相容密钥分别对同一商品加密,使得在不泄露所购买商品的情况下,用户在付款之前能够对所购买商品的正确性进行验证,实现了使用离线TTP的优化公平交换协议.然而,通过对Ray协议进行安全性分析发现,恶意商家可以任意传送错误商品的信息也能轻易通过用户的验证,导致用户为之付款,即该验证过程是不安全的,最终导致该类协议退化为一个使用在线TTP的公平交换协议.另外,给出了改进方案,以避免上述攻击.     

Internet CAS存储协议的研究

内容寻址存储(content addressable storage,CAS)是一种基于内容的对象存储,目前的系统只能提供API或POSIX文件接口,CAS应用时必须做大量的编程工作,这限制了CAS的应用范围.描述了CAS的存取操作机理,分析了CAS的存取模式和广域网的特点,提出和实现了一种基于http的CAS客户端与服务器之间的网络通信和数据存取的协议,称为Internet CAS协议(简称iCAS).iCAS协议将CAS存储服务直接输出到Internet,使CAS应用不受网络环境和操作系统平台的限制,并简化了CAS与应用的集成.对iCAS进行了测试,结果表明iCAS具有较好的性能.