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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

改进的路由协议BLOCKING-COMPOW

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