Web环境下基于协议组合代数的业务流程整合方法

采用协议对基于Web的业务流程建模是当前研究的一个新方向.业务协议是对参与业务过程的业务步骤的描述.本文将多个参与者参与的业务步骤抽象为参与者之间的交互,采用基于交互的协议对业务流程建模,提出了一个业务协议组合代数,构造了一组协议组合算子,并证明了该代数的一些相关性质;本文还对协议的相似性进行了分析,为替换协议的选择奠定了基础.文章还通过一个流程组合实例说明了基于协议组合代数的业务流程整合过程.     

基于协议偏离的程序协议指纹提取与识别

针对传统协议指纹提取技术耗时耗力,且无法提取与识别加密协议指纹问题,提出了一种基于协议偏离的程序协议指纹自动提取方法。协议偏离描述了协议各版本实现程序的网络行为差异,以动态二进制分析技术为支撑,分别从协议偏离会话流层面与偏离消息层面对协议特征进行提取。实验结果不仅验证了所提方法的可行性,还为提取与识别加密协议应用程序指纹提供了一条新思路。     

Profibus-DP总线与Modbus总线通讯控制系统设计与实现

该文详细介绍了基于PROFIBUS-DP总线与MODBUS-RTU总线的PLC通讯控制,设计了单变量PID通讯控制系统,两种总线通过网关进行数据交换,共同完成液位调节,得到理想的控制效果。实验结果表明通讯控制系统可行,同时也为相关技术人员提供参考。     

网络通信协议的分析与实现

网络通信协议是网络通信的基础。TCP/IP协议族是应用最为广泛的一种网络通信协议,无论在局域网、广域网还是Internet,无论是Unix系统、Windows平台都支持TCP/IP协议,是计算机世界的一个通用"语言"。讨论了TCP/IP协议族中传输控制协议TCP、用户数据报协议UDP和网际控制报文协议ICMP等原理和应用。     

ATM和IP的互连协议(一)

介绍了ATM和IP重叠结合方式的相关协议和集成结合方式的MPLS协议，并对这三种方式的协议形式进行了比较。     

基于Linux的嵌入式PPP实现

介绍了基于Linux的嵌入式PPP的实现 ;介绍了PPP协议及其实现PPP协议的模块。最后说明数据是如何发送和接收的。     

安全协议的形式化说明、设计及验证

文中针对形式化技术在安全协议说明、设计和验证三个方面的研究和进展情况进行了详细介绍，分析了它们的原理和优缺点，并对该技术的研究发展前景提出见解。     

一种支持流程整合的业务协议组合代数

针对基于Web的业务流程建模问题,将业务流程的参与者抽象为角色,采用基于角色间交互的协议对业务流程进行建模,构造抽象的业务流程模板,提出一个业务协议组合代数,构造一组协议组合算子,即顺序、并发、选择和迭代,并证明该代数的一些相关性质,分析协议的相似性,从而为替换协议提供理论依据。     

基于以太网的Modbus/TCP协议的实时性研究

以Modbus和TCP传输协议为研究对象，对其协议性机理进行了的研究。在此基础上，在Quantum系列PLC的以太网通信模块与上位监控站之间，做了基于Modbus／TCP传输协议的实时性测试。其测试的结果是Modbus／TCP传输协议用于工业控制中是可行的。     

PLC与监控站通信机理的研究及实现

本文以Quantum系列PLC为研究对象,研究了其支持的通信协议。并且以Modbus协议为应用层协议,TCP协议为传输层协议,IEEE802.3为介质访问控制协议,结合VC++6.0里的Winsock网络编程控件,编制了Modbus/TCP通信程序,实现了Quantum系列PLC与监控制站之间的以太网通信。该程序具有通信速度快,可靠性高的特点。     

改进的路由协议BLOCKING-COMPOW

COMPOW功率控制协议通过控制所有的节点采用相同的发射功率来保证网络消耗功率最小化,但该协议不适用于节点分布不均匀的网络。此协议的改进版本CLUSTERPOW可以降低不均匀网络中的能耗,但此协议在节点分布均匀网络中的性能较差。针对两种协议的不足之处,提出了一种新路由协议BLOCKING-COMPOW,仿真结果表明这种新协议在各种节点分布下都具有较好的性能。     

极限Internet——5秒钟下载电影

如果没有软件的支持．世界上最快速的硬件也无法体现出它的价值。同样的规则也适用于网络，加州理工学院的研究者们通过一种新的网络通讯协议证明了这一点——这种强大的新协议可以使现有宽带网络拥有更惊人的速度。几乎可以达到现有速度的6000倍。     

密码协议基于遍历的分析方法

文献[1]提出用两方密码协议的运行模式对协议进行分析,文章证明该方法未能列举出全部运行模式,因此一些协议的漏洞不能被发现。文章提出一种遍历分析法,让导致攻击成功的假冒消息遍历攻击者在各种情况下消息接收集来对协议进行分析,从而发现协议漏洞。     

几种网络拓扑搜索方法的分析研究

文中旨在帮助人们在不同的网络拓扑要求和网络条件下选取合适的网络拓扑搜索方法.通过对网络层次、实用范围、拓扑粒度等方面进行分析比较,发现每种方法都不能对网络中所有设备完整准确地搜索,均各有其适用的范围、优点和局限性.若不能发现详细准确的网络信息,仅对网络的增长感兴趣,可选用基于DNS协议路由表的拓扑搜索;而用于发现网络中的主干拓扑,反映网络的整体状况,可选用基于SNMP协议网络拓扑搜索;对网络设备均支持OSPF协议且能动态地检测和报告网络拓扑的局部变化,可选用基于OSPF协议的网络拓扑搜索.所以在实际应用中应根据需要将多种技术有选择地结合来共同完成.     

协议工程和协议性能测试框架

随着计算机网络技术和网络应用的迅速发展,网络协议性能测试变得越来越重要。该文主要论述了协议工程的活动、方法及其开发过程,并对协议性能测试技术做了较详细的描述,然后论述了性能测试的结构框架,最后描述了性能测试的各个阶段。     

移动IPv6中路由优化安全性研究及改进

众所周知,在移动网络中,路由优化RO(Route 0ptimization)能够很好地解决移动网络中的"三角路由问题",从而优化整个网络.但也相应带来了地址绑定更新的安全问题.于是RFC3775提出了返回式路由过程协议RR(Return Routability Pro-tocol)来保证路由优化的安全.本文在分析RR协议的安全漏洞基础上,提出了一种基于本地代理证书协议CBHA(Certificate Base on Home Agent).该协议通过本地代理的公钥证书和签名向通信结点验证了移动结点的本地地址和临时地址的舍法性,从而有效地保证了绑定更新BU(Bind Update)息的安全性.     

Micali类公平交换协议的分析*

主要对Micali 2003年提出的ECS1协议进行分析。通过分析,找到了已有攻击并发现了五种新攻击,对发现的所有攻击进行深入分析,找出了攻击存在的原因。此外,还对Bao Feng等人给出的该协议的改进方案进行了分析,发现改进方案中还存在冗余。最后,对他们提出的改进协议进行了简化,在不降低安全性的前提下提高了效率。     

新型增强3GPP认证密钥交换协议

3GPP认证密钥交换协议存在两大安全缺陷：（1）该协议假设在VLR和HLR间的通信信道必须是安全的，因而易遭受攻击者接入信道后的主动攻击；（2）该协议对于移动用户易遭受重定向攻击。该文提出了一种新型增强3GPP认证密钥交换协议，克服了原协议的安全缺陷，确保了在不安全的信道上实现安全的通信，同时很好地防止了对于用户的重定向攻击，并且该新型增强协议的实施无须改动3GPP的安全体系结构。     

几种网络拓扑搜索方法的分析研究

文中旨在帮助人们在不同的网络拓扑要求和网络条件下选取合适的网络拓扑搜索方法。通过对网络层次、实用范围、拓扑粒度等方面进行分析比较，发现每种方法都不能对网络中所有设备完整准确地搜索，均各有其适用的范围、优点和局限性。若不能发现详细准确的网络信息，仅对网络的增长感兴趣，可选用基于DNS协议路由表的拓扑搜索；而用于发现网络中的主干拓扑，反映网络的整体状况，可选用基于SNMP协议网络拓扑搜索；对网络设备均支持OSPF协议且能动态地检测和报告网络拓扑的局部变化，可选用基于OSPF协议的网络拓扑搜索。所以在实际应用中应根据需要将多种技术有选择地结合来共同完成。     

SNMPv1、SNMPv2和SNMPv3的安全性协议分析与比较

针对SNMP的安全威胁，总结了SNMP的安全需求和相应的安全机制，并进一步分析和比较了SNMPv1，SNMPsec，SNMPv2（包括SNMPv2p,SNMPv2c，SNMPv2u和SNMPv2^*)以及SNMPv3提供的各种不同的安全机制。