通过BGP实现VPN成员的自动发现

成员发现是实现VPN的第一步,可采用的方法有多种,但自动发现成员最适合大型VPN,也具有良好的可扩展性,又因为BGP协议应用广泛,所以,通过BGP自动发现VPN成员是最具普遍性的选择。文章详细描述了在建立BGP/MPLSVPN时,利用BGP自动发现VPN成员的过程。另外,也对VR-VPN的成员发现进行了讨论,并对两种VPN的成员发现进行了比较。

Ex-SCAMP:一种改进的P2P成员关系管理协议

为了解决SCAMP协议因节点之间随机连接,节点的查找算法在高度动态的网络中效率不高的问题,提出了一种改进的SCAMP协议——Ex-SCAMP。开发了Ex-SCAMP协议的加入和退出算法,设计了孤岛节点修复机制。由于Ex-SCAMP协议的节点只需具有局部信息就能构建全局随机图,故其邻居列表和泛洪跳数都较小。实验结果表明,与SCAMP协议相比,该协议具有实现简单、可扩展性好和容错性高等特点。

CCAR23部飞机航空电子网络中FlexRay协议的设计和实现

为了增强FlexRay网络在CCAR23部飞机航空网络应用中的安全性,分析了FlexRay协议的传输特性,定义了心跳消息结构,提出了在静态段中进行状态声明、在动态段中进行成员协商以及在网络空闲时间进行成员状态决策的成员算法的设计与实现。该算法以进程为单位进行管理,可以在协议层实现进程的重新集成,且对于存在n个故障的系统,只要系统中存在2n+1个过程且n+1个过程运行正常,该算法就能够在一个周期内识别全部故障。经应用验证,该算法能够在一个通信周期中实现成员协议要求的确认性、一致性以及自我诊断性。

一种多机协同工作支撑环境的设计与实现

在目前支持Internet上大规模应用方面,多采用商业的并行服务器与机群系统,该类系统具有较好的性能,但对用户自由定制的支持稍显欠缺。该文提出并分析了一种多机协同工作支撑环境,支持用户对多机协同工作的自由定制。

基于XML的组员关系协议的设计与实现

结合开发的协同设计系统,给出了协作层基于XML的组员关系协议的设计与实现方法。分析了组员关系协议的通信行为,并使用UML的面向对象方法分析与设计了请求、响应和通知协议,详细说明了使用XML Schema实现通信协议的方法,结合协议实例,给出了基于XML的协议的打包和解析,并证明了协议的可行性。该协议能应用于异构平台下多种协同应用系统。

基于异步时钟机群监测系统的设计与实现

机群监测系统是用来管理机群,方便用户使用机群的软件系统.针对当前已有的机群管理系统在时效性、健壮性等方面的不足,提出了一种基于异步时钟的服务器监测技术,通过把指定的服务器集合组成一个具有反馈机制的环形队列的方法,使得用户能够将机群作为一个整体来进行管理.该系统能够透明地加入和删除服务器节点,自动重新配置以达到高可用性.本文采用的线程池技术和I/O多路转换技术能够有效提高机群监测系统的反应时间.实际的测试结果证明,该系统能够根据传输延迟、丢包率、系统繁忙程度、服务器或网络故障等情况采取适当的对策,在短时间内发现和排除故障,可以较好地应用于邮件服务器、WEB服务器等事务性机群处理系统中.

辫群上的扭结共轭搜索问题和密码体制研究

通过分析辫群的相关性质及群上的判定问题,结合扭结共轭问题、子群成员判断问题及根搜索问题,提出一种辫群上的公钥加密协议和签名协议,对两者的安全性进行分析,证明敌手无法从公钥中恢复密钥,因此协议可以抵抗长度攻击、惟密钥攻击、一般选择消息攻击、定向选择消息攻击和适应性选择消息攻击。

TTP/C组籍算法存在的问题

TTP/C通信协议已经应用于一些航空航天与地铁系统中,例如,空客A380的舱压控制系统、波音787梦想客机的辅助电源系统、环境控制系统等。以往我们仅看到对这种协议种种好处的分析,这是不全面的,它的组籍算法是高可信赖性应用的基础,但是其故障假设不符合很多现场使用环境,故障假设失效的概率大于功能安全容许的指标,协议的CRC检验将组籍向量的差包含在内,弱化了检错能力,所以需要用户特别重视。本文就这两点加以说明。

Active leave behavior of members in a fault-tolerant group

Active replication is an effective means to enhance fault tolerant capability in distributed systems. A fault-tolerant group is composed of replicas of key components in a system. This paper analyzes three types of leave semantics of group members, and manifests activities a group member involves. Then it educes requirements for a group member to safely leave. As to quick-leave semantics, this paper proposes a solution and discusses the non-empty protocol and relay protocol in detail. Further, it gives proofs of correctness and termination property of the protocols. The solution is a building block for a practical and operational group membership module.