一种基于失效检测器的快速异步系统共识算法*

异步系统下的共识问题是容错方向中的关键问题。首先分析了几种基于失效检测器的共识算法,然后考虑减少响应时间,对现有算法提出改进。改进后的算法满足异步系统下共识问题的两阶段最低限度,并且在特定条件下可以在第一阶段快速作出响应。经实验证明,改进后的算法具有更快的响应时间和较少的通信量。     

微软WAP在“操作系统原理”实验教学中的应用探索

本文以学生对实验教学内容的兴趣及需求分析为依据;提出了基于WAP的"操作系统原理"课程实验教学的方案设计和内容设计。应用WAP后,学生对"操作系统原理"课程实验兴趣增加,学习的主动性、动手能力得到提高,更深刻的理解掌握了课程内容。     

基于二进制矩阵的RS编码优化算法

现有RAID系统的编码算法不能同时具备较高的执行效率和较强的容错能力。为此,提出一种基于二进制矩阵的RS编码优化算法。使用RS编码中有限域内乘法运算得到转换后的二进制矩阵,采用多分法对其进行优化,从而减少编码时的异或运算次数,以此设计优化算法。实验结果表明,该算法的执行效率较高,容错能力较大。     

基于散列函数的消息认证分析

基于网络通信中对消息认证的需求,介绍了散列函数的基本概念及构造方法,讨论了其用于消息认证中必须满足的特性,分析了散列函数在消息认证中的使用方式.生日攻击是通用的碰撞攻击方法,它可用于攻击任何类型的散列函数.为了增强散列函数的抗碰撞能力,探讨了生日攻击的碰撞阈值和攻击步骤.最后提出了安全散列函数设计时宜采用迭代和压缩型结构,该算法的核心技术是设计无碰撞的压缩函数并重复使用,从而可增大攻击者的攻击难度.     

基于扩散激活模型的无线自组网分簇方法

传统的分簇方法很少同时考虑安全因素及其对网络性能的影响。针对此问题,提出了一种基于信任关系的分簇方法,该分簇方法结合人类记忆的扩散激发模型思想,能够根据有限的局部信息自动地对整个网络进行分割。试验结果表明,该文所提出的分簇方法在精确度方面与集中式的分簇方法非常接近。因此,在提高Ad Hoc网络性能的同时,还可提高其安全性。     

双机容错系统中最佳检查点间隔的分析

设置检查点是容错计算机系统进行故障恢复的重要手段。因为检查点间隔选择过大或过小都将使系统性能受到影响，所以检查点间隔的适当选定是系统性能优化的一个重要指标。该文针对双机容错系统，采用检查点设置与回卷恢复的方法提出了一种系统模型，利用马尔科夫链得到了最佳检查点间隔的求解等式，通过实验证实了求解等式的正确性。     

流式计算模型在废弃话单处理中的应用

对废弃话单进行有效管理,是保障通信系统计费可靠性的重要内容之一,然而对于废弃话单数据所呈现出的实时性、突发性等特征,现有的大数据处理模式并不能很好地应对.本文采用动态路由策略实现计算系统运行时的轻量级伸缩,应对废弃话单实时性和突发性带来的挑战.在此基础之上,本文给出了一种基于流式计算模型的废弃话单处理系统的实现,并通过实际数据验证了本文提出的动态路由策略在应对数据突发方面的有效性.     

基于代理的Byzantine一致性协议的研究

本文在研究了国内外Byzantine协议的基础上提出了一种新的Byzantine一致性协议，即基于代理的Byzantine一致性协议。该协议按照Byzantine容错机制将所有参与运算的进程分成很多小块，每个块设有一个代理。通过代理，块内的进程向其他块的进程发送运算结果。这样，在进程发生Byzantine错误时可以先在块的内部处理，从而可以有效地减少容错的开销和时延，提高系统的安全性。     

基于蜜罐技术的计算机动态取证系统研究

提出了一种基于蜜罐的计算机动态取证方法.该方法通过蜜罐技术将入侵转移到一个虚拟的环境,不仅可以保护网络或主机不受攻击,而且还可以为证据的提取争取到更长的时间,从而获得更为真实的电子证据.实验结果表明:基于蜜罐的动态取证系统具有检测率高、误报率低、取证能力强的特性.     

拜占庭容错服务的适应性失效检测研究

文章在Byzantine fault tolerant状态机复制容错算法（BFT）中增加适应性失效检测。根据拜占庭容错服务应用需求和运行环境动态调整失效检测时间，适应性好，能满足BIT失效检测要求。当主复件失效时,可以缩短视图切换时间，减少系统响应时间，提高系统可用性。