基于预测的平滑切换机制及其性能评价

针对微观移动协议现有切换机制存在的问题,提出了基于预测的平滑切换机制,该机制利用移动预测技术,在切换发生前预测移动主机将要切换的下一蜂窝以及切换的时刻,为移动主机预先建立新路径;为了保证基于预测的平滑切换机制的实现,提出了一个易于实现的简单移动预测算法--SMPA算法;通过理论分析和系统仿真的方法对基于预测的平滑切换机制进行了性能评价,结果表明该切换机制以相对较小的代价获得了可观的性能改善.     

音频媒体矩阵处理器实时备份系统探讨

主要论述了在相关音频系统中,利用音频媒体矩阵处理器进行实时备份时有关的编程方式和技巧,同时表述了作者对如何利用该实时备份系统提高系统安全性的一些观点和建议。     

形式化攻击者能力描述的计算可靠性研究

研究在安全协议仅使用数据完整性算法时，形式化分析方法中形式化攻击者能力描述的计算可靠性，首先假设计算性攻击者的能力超过形式化攻击者的能力，然后构造攻击实验，进而论证攻击实验中计算攻击者的输出与签名算法或密钥杂凑函数的安全定义相矛盾。因此得出计算性攻击者所能生成的消息均属于形式化攻击者所能生成的消息闭集这一结论，基于该结论，可以构建或者改进形式化分析系统，使其具有计算可靠性。     

自组网路由协议性能比较

近年来,无线自组网因其完全分布式以及灵活组网等特性受到学术界和产业界的广泛关注。将自组网投入实际应用前,仿真分析其性能是必不可少的一个环节。而路由是自组网关键问题之一,路由协议的性能直接影响整个系统的性能。文中分别从分组递交率、平均时延、平均跳数以及路由开销四个方面比较了目前最具代表性的四个路由协议——AODV、DS-DV、DSR和TORA的性能,分析了拓扑变化和网络负载对各协议性能的影响。     

无线移动自组织网路由协议综述

本文首先简单介绍了Adhoc网的概貌，然后全面介绍了Adhoc网的路由协议。包括平面路由协议和分层路由协议，先验式和反应式路由协议以及GPs辅助型路由协议。     

Development of communication protocols using algebraic and temporal specifications

The paper pursues two main goals. First, an attempt is made to specify and verify protocols in a completely rigorous manner using the formalisms of temporal logic and algebraic specification. Second––and even more important––the protocol specifications are not presented as monolithic pieces of text, but rather are developed in a stepwise process, evolving from simple genotypes into the final complex products. This is illustrated with selected fragments of the TCP/IP protocol.     

On the Symbolic Reduction of Processes with Cryptographic Functions

We study the reachability problem for cryptographic protocols represented as processes relying on perfect cryptographic functions. We introduce a symbolic reduction system that can handle hashing functions, symmetric keys, and public keys. Desirable properties such as secrecy or authenticity are specified by inserting logical assertions in the processes.We show that the symbolic reduction system provides a flexible decision procedure for finite processes and a reference for sound implementations. The symbolic reduction system can be regarded as a variant of syntactic unification which is compatible with certain set-membership constraints. For a significant fragment of our formalism, we argue that a dag implementation of the symbolic reduction system leads to an algorithm running in nptime thus matching the lower bound of the problem.In the case of iterated or finite control processes, we show that the problem is undecidable in general and in ptime for a subclass of iterated processes that do not rely on pairing. Our technique is based on rational transductions of regular languages and it applies to a class of processes containing the ping-pong protocols studied in 1982 by Dolev, Even and Karp.     

面向控制应用的TCP/IP协议设计与实现

首先分析了面向控制应用TCP/IP协议的特点，随后阐述了两种针对专用控制网络的以太网网关实现方案，即MCU或DSP 以太网网络接口的TCP/IP实现、基于嵌入于式PC和实时操作系统的TCP／IP实现，并且对比了这两种方案的优缺点。还通过具体的实例，说明其实现的思路和技术要点。最后总结了TCP／IP协议向底层控制网络延伸及当前存在的问题和解决方法。     

Mobile Agent的两种安全机制

安全性在电子交易系统中是一个至关重要的问题，该文对传统的电子商务和基于MobileAgent的电子交易的安全问题进行了比较，提出了在Grasshopper平台下采用时间限制的黑箱安全机制和加密跟踪的方法扩展平台本身的安全性，确保了Grasshopper平台在实现电子交易过程中整个系统的安全性。     

基于协议引擎的协议实现方法研究

为了从实现的角度解决网络协议相似性和多样性的矛盾，以及不同协议不同实现方法对系统资源的消耗和协议管理维护的复杂性问题，文中在分析了基于ＯＳＩ协议实现的基本问题的基础上，提出用面向对象方法和虚拟概念解决通用性难题，并且提出了基于协议引擎的协议实现方法，分析了它的结构特点和应用时的几点考虑，认为效率是主要评价因素，文中还给出了Ｊａｖａ环境上应用协议引擎网络管理模块和网关路由器的实现方案。