Wait and Spray:一种改进的机会网络路由算法

灾难场景是机会网络重要的应用场景之一,在灾难场景下能量成为稀缺资源,高效转发数据包的同时尽可能减少节点能量消耗成为路由算法追求的目标之一,为此提出了Waitand Spray路由算法,该算法将数据包的转发过程分为Wait和Spray两个阶段,在不同阶段采用不同的路由策略。该算法具有W、K、M参数,恰当的参数设置可控制Spray阶段的泛洪程度,大幅提高算法性能。仿真结果表明,该算法可在获得高传输成功率的同时,大幅降低路由开销,是一种适合在能量稀缺场景下应用的路由算法。     

一种FPGA抗辐射布线算法设计

随着集成密度的增大以及工作电压的降低,基于SRAM的FPGA芯片更加容易受到单粒子翻转的影响。提出了一种基于通用布局布线工具VPR的抗辐射布线算法,通过改变相关布线资源节点的成本函数,来减少因单粒子翻转引起的桥接错误,并与VPR比较下板测试结果。实验结果表明,该布线算法可以使芯片的容错性能提升20%左右,并且不需要增加额外的硬件资源或引入电路冗余。     

安全协议的验证逻辑

该文提出一种论证安全协议之安全性质的非单调动态逻辑.针对信息安全的特定需要,给出了一组与加密、解密、签名、认证和密钥分配等密码学操作有关的公理和推理规则,举例说明了这一逻辑框架在验证安全协议方面的应用,并讨论了需要进一步解决的问题.     

一种新型的非否认协议

在克服一种非否认协议草案的缺陷的基础上,提出一种新的非否认协议.新的协议可以在不安 全和不可靠的信道上工作,并能对付各种欺骗行为.此外,还对SVO逻辑进行扩充,引进一些新 的概念和方法,并用扩展后的SVO逻辑分析与证明新的非否认协议.     

Needham-Schroeder公钥协议的模型检测分析

密码协议安全性的分析是当前网络安全研究领域的一个世界性难题.提出了运用模型检测工 具SMV(symbolic model verifier)分析密码协议的方法,并对著名的Needham-Schroeder(NS )公钥协议进行了分析.分析结果表明,入侵者可以轻松地对NS公钥协议进行有效攻击,而这个 攻击是BAN逻辑分析所没有发现过的.同时,给出了经SMV分析过的一个安全的NS公钥协议 的改进版本.     

公平的非否认密码协议及其形式分析与应用

在安全数据通信中,数据发送和接收的非否认性是一个极为重要的问题.近年来,实现这种类型的密码协议主要是通过可信第三方参与数据的加密与传送,因而,可信第三方的可靠性和安全性是系统性能的瓶颈.提出了一个公平的双方不可否认的密码协议——NCP(non-repudiation cryptographic protocol).这个协议解决了可信第三方的性能瓶颈问题,是一个更为有效的、安全的密码协议.用信任逻辑对其进行了形式分析,最后探讨了它在电子邮件中的应用.     

An optimal multicast algorithm for cube-connected cycles

This paper presents an efficient algorithm that implements one-to-many,or multicast,communication in one-port wormhole-routed cube-connected cycles(CCCs) in the absence of hardware multicast support.By exploiting the propoeries of the switching technology and the use of virtual channels,a minimumtime multicast algorithm is presented for n-dimensional CCCs that use deterministic routing of unicast messages.The algorithm can deliver a multicast message to m-1 destinations in [log2m] message-passing steps,while avoiding contention among the constitutent unicast messages,Performance results of a simulation study on CCCs with up to 10,240 nodes are also given.     

基于现场总线的故障安全通信协议研究

本文给出了故障安全消息传输系统的基本定义,介绍了故障安全通信协议的参考协议标准选择,协议的故障安全性要求,及一种设计的故障安全通信协议的层次结构和各层协议的故障安全特性。     

网络层支持主机移动的研究

网络协议的发展受到计算技术、通信技术和网络应用的共同驱使。近年来,计算技术的发展使体积小功耗低的膝上型电脑和掌上型电脑日益普遍,它们的功能越来越接近于台式机和工作站;通信技术的进步使得各种无线传输网络甚为流行,出现了PCS、PCN、UPT和UMTS等设备和服务;而应用也对“无论何     

基于延迟敏感的组播路由遗传算法的研究

1 引言为了保证多媒体实时业务流的QoS传输,所采用的路由技术之一是通过组播路由(multicast routing)为实时应用寻找最佳路径。以往,人们对非受限组播路由问题研究较多,但由于它们都未考虑QoS的延迟标准,因此,对多媒体实时传输的要求显得束手无策。Widyono阐述了受限Bellman-Ford(CBF)算法,它的性能较优,但其计算时间随着网络规模的增大而呈指