面向命题投影时序逻辑的安全协议模型检测

针对无条件安全通信协议,特别是Russian Cards协议的安全性验证问题,提出基于命题投影时序逻辑(PPTL)的模型检测方法.根据协议构造规则建立了Russian Cards协议的ProMeLa模型;利用chop算子将多个交互事件进行顺序复合,以表达协议所期望的通信序列;由projection算子定义了协议在该序列上的安全性质,再将该性质转为Never Claim语法结构并连同协议模型作为模型检测器SPIN的输入,以完成验证工作.验证结果表明,由协议规则构造的Russian Cards通信协议是安全可靠的,该方法也适用于一般的无条件安全通信协议的验证.     

基于移动IPv6的MANET中Anycast服务的设计与实现

针对目前移动自组网(MANET)无法提供成熟的Anycast服务这一问题, 提出了一种在MANET中实现Anycast服务的通信模型.此模型提出了无需进行地址重复检测、IPv6地址自动分配的方案以及移动节点加入Anycast组的方法. 模型中的Anycast移动组节点在不同子网之间进行切换时,Anycast移动组节点无需进行地址注册也无需建立隧道机制.在模拟环境下实现了此模型,并对模型的数据包接收率等性能参数的实验数据进行了分析和讨论.     

基于Web的SIP实现技术

SIP是基于IP的语音通讯体系结构的标准之一,本文通过对SIP协议的研究,提出在Web的客户端浏览器上用Java来实现SIP协议的客户端用户代理部分。     

MANET中的多目标组播路由协议

针对临时性、少量信息群发业务模型,提出一种多目标组播路由协议,利用已有的单播路由信息实现组播发送功能。中间节点根据组播分组中目的节点的地址和路由信息,结合本节点路由表或转发表,对相关目的节点执行转发。协议无需维护组播树和组播成员状态,可在任意提供路由表或转发表的单播路由协议基础上工作。在该应用模型下,协议的分组递交率性能与单播路由协议相当,发送开销比单播和其他组播路由协议大大减少,控制比特开销也较低。     

DHCP中继代理在多子网网络中的应用

利用Windows 2000 Senrer提供的DHCP中继代理服务，可以为隶属于不同子网的计算机自动分配IP地址，从而简化了网络的设置与管理。该文在介绍DHCP工作原理的基础上，结合实际经验，对DHCP服务在多子网网络中的应用进行了深入的讨论。并在结果分析中讨论了DHCP服务器是如何确定并准确地将作用域中的地址分配给DHCP工作站中指定计算机的过程。     

A TTP-Independent Watermarking Protocol Based on Commutative Cryptosystem for Copyright Protection in E-Commerce

For the purpose of deterring unauthorized duplication and distribution of multimedia contents in e-commerce, some Buyer-seller watermarking protocols which combine of traditional watermarking and fingerprinting techniques have been proposed, However, previous protocols have potential risk from trust third party （TTP） because all entities （including multi-buyers and multi-sellers） mentioned in protocol construct a star tupology like connection, in which the watermark certification authority （WCA） serves as the central point in the interaction and therefore its availability probably turns out to be the vital bottleneck of reliability and efficiency to the whole system. Secondly, WCA holds entire information about watermark used hy Buyers so that an innocent Buyer can he found as guilty if WCA collude with the Seller. In this paper, we propose a watermarking protocol to address the problems using cryptographic technologies in phase of watermark generation. The resuh is a TTP-independent and collusion-secure buyer-seller watermarking protocol.     

VPN客户端在Windows2000下的实现

简要介绍了IPSec协议体系结构以及在Windows平台下利用NDIS驱动程序接口技术开发基于IPSec协议的VPN客户端软件的方法后,利用流程图阐述了内核模块输入和输出处理的过程以及应用模块的实现。这种借鉴有线网络中的VPN技术和Windows 环境编程技术为安全移动办公提供了一种新思路。     

基于ARM的CAN总线与以太网通信网关设计

为了实现工业现场控制中2种不同网络之间的数据交换,本文给出了一种嵌入式CAN总线--以太网的网关设计思路和硬件电路设计方法.采用μC/OS-Ⅱ操作系统上的软件编程,完成CANopen协议与TCP/IP协议的相互转换,从而实现了以太网对各工业现场设备节点的信息交流.     

Mil-Std-1553总线协议分析

介绍了Mil-Std-1553总线的基本概念,分析了Mil-Std-1553总线的命令字、状态字和数据字的数据结构,并对其物理波形编码、终端寻址方式、总线管理的模式代码、以及消息的发送和接收过程进行了说明.     

A mesh based routing protocol in vehicular ad hoc networks

This paper studies a routing protocol used in the application of collecting real-time traffic information using mobile vehicles to monitor traffic status. The biggest challenge of vehicular ad hoc network routing protocol lies in the mismatch between the direction of moving vehicles and routed data. In order to deal with this mismatch, a mesh based routing protocol with a two-tier network architecture is proposed. By using mesh nodes deployed at intersections, data can be routed through an optimized path which can improve the delivery ratio and reduce the consumption of network resources. The simulation uses the mobility model processed from the GPS data of taxis running in Shanghai urban areas. The result shows that the proposed protocol outperforms the existing flooding protocol.