网络协议中的时间约束测试

对协议实现的时间约束进行测试,是验证协议实现的实时特性的重要方法.本文考查了当前实时系统测试方面的进展,结合路由协议测试的实践,修正了现有方法几个不符合实际情况的假设,扩展了时间自动机的理论和思路,将时间约束下的状态机转换成非确定性有限状态自动机,运用Wp方法生成抽象测试集,讨论将抽象测试集参数化的方法.以路由协议RIP的时间约束为例说明了生成基于TTCN测试例的过程.     

移动通信系统中有效的身份认证方案和支付协议

文中给出了一个基于公钥密码的有效的身份认证和密钥交换协议，该协议可以实现通信双方的相互认证，产生的会话密钥对通信双方是公正的，且会话密钥的产生不需要其他第三方的参与，协议的结构简单，执行效率高：在此协议基础上设计了一个适用于移动通信系统的小额支付协议。     

DSP与单片机之间串行通信的实现

文章给出了AT89C5 1单片机系统和TMS32 0F2 4 0DSP系统之间的进行实时交互通信的硬件接口电路、串行通信口的初始化设置及软件实现方法。通信双方均以查询方式进行收发。考虑到通信双方既是发送方又是接收方 ,为保证通信时序紧密配合 ,通信协议采用了“发送一个数据 ,等待接收到确认信号 ,再发送下一个数据”的方式。实验结果表明 ,采用该协议的通信系统具有很好的实用性和可靠性     

GMPLS在自动交换光网络控制平面中的应用

自动交换光网络（ASON）由于引入了控制平面才成为智能的光网络，而控制平面的具体实现要依靠通用多协议标记交换（GMPLS）协议。首先讨论ASON中的控制平面，然后对GMPLS和MPLS进行比较；最后对GMPLS在ASON控制平面中的应用进行了具体分析。     

流媒体技术及应用

主要介绍了流媒体技术、原理及其应用，详述了作为流媒体实现的关键技术-流式传输和传输的过程，以及目前支持流媒体传输的协议和使用较多的流式视频格式。     

下一代IP技术--GMPLS

通用多协议标签交换 ,不仅支持实行分组交换的设备 ,也支持在时域 ,波长域和空间域进行交换的设备 .GMPLS的发展需要对现有的MPLS的信令和路由作出修改 ,也产生了新的协议。     

在协议集成测试系统上开展路由协议测试

在分析路由协议的特性及其测试需求的基础上，提出利用窗口黑盒来描述被测协议，利用多通道测试方法扩展对被测实现的控制和观察，通过扩充参考实现增强系统的测试能力。将这些理论，技术应用于系统中，对路由协议开展了有效的测试活动，为国产高性能路由器的开发提供了有力的支持，也进一步增强了PITS系统的功能和适用性。     

基于Kerberos的Internet密钥协商协议的研究

KINK是一个的基于Kerberos的密钥协商协议，它使用Kerberos机制实现密钥协商过程中的身份认证和密钥交换。本文主要描述了KINK中的密钥协商的实现过程，并对它的特点和安全性作了相应的分析。     

宽带IP网络技术和发展简介

宽带IP网络是随着Internet网络的普及而产生的，并随之不断发展。计算机技术的超常发展使计算机业与通信业在业务上相互渗透结合。Internet网络在全球范围内迅速普及，使之成为仅次于传统电话网络的全球性信息基础设施，为电信运营者提供了一种相对容易的实现方式，可以有效地避免传统电信网络建设周期长、成本高的障碍。当前，利用Internet的WWW技术组建各种宽带IP信息网络，已成为发展现代电信网络的迫切需求。IP协议是一个无连接的数据报协议，它完成ISO网络层任务。现有Internet宽带网络几乎都基于IP协议，随着Internet在世界范…