基于Z的协议形式描述与验证

一、引言在过去的十年.计算机网络与分布式系统已取得了很大的进展[6j。步入九十年代,各种新型通信技术和分布式应用已相继出现.并已对计算机通信软件发生了重要影响。这些新技术及应用主要包括高速光纤网、多媒体通信、宽带综合业务数字网(B一IsDN)、智能网络技术.如智能服务器、智能路由选择、智能协议开发环境等.以及综合语音、数据、图文和图象服务等等。为了适应这种形势的发展一门新兴的学科一协议工程已应运而生川。     

计算机技术与智能建筑

随着计算机技术的发展,计算机在建筑领域的应用就不仅仅局限于CAD辅助设计、出图等等。而要在建筑科技的前沿发挥作用。     

基于MPLS骨干网络的VPN解决方案

现有的虚拟专用网(VPN)方案大多基于IP协议,这种结构的VPN在数据包转发速度、扩展性、服务质量等方面都存在欠缺,所以本文提出了基于多协议标记交换(MPLS)骨干网络的VPN解决方案.由于MPLS和IPSec在身份认证方面都没有定义,所以我们在方案中把认证中心(CA)的证书管理引入进来.该方案的核心思想是:利用MPLS在传输效率上的优势,通过CA进行身份认证、IKE协议^[1]进行密钥协商以及IPSec协议^[2]进行数据包加密,从而在MPLS骨干网络上建立一个安全高效的VPN.本文对实现MPLS VPN的每个关键部件都做了进一步的描述.     

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

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

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

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

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

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

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

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

流媒体技术及应用

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