用串空间分析公平交换协议

公平交换协议是电子商务的关键技术.本文根据公平交换协议和串空间的特点,定义了丛最大(极大)结点、良序丛的概念.依据协议的消息驱动特征,建立了串空间结点标号的递归公平交换协议分析方法.分析了ZG协议并发现一个很多其它分析没有发现的缺陷,分析结果既肯定了本文方法的可用性又给出了一个具体的应用.

采用NOP协议实现三模冗余系统的形式化验证

对于安全关键系统容错是其实现安全性的重要手段,为最小化冗余单元之间的关联性,通常采用分布式冗余系统,典型的是三模冗余系统。为了在分布式环境下,实现基于三模冗余机制的容错系统,提出了一种可靠的广播协议-NOP(Node Order Proto-col),它采用预定义的节点顺序解决共享介质冲突,并且在单一故障模式假设下,实现了有序的、可靠的消息传输服务,并采用基于模型检测的形式化方法进行了容错系统安全性的验证。验证结果显示基于NOP协议构建的三模冗余系统,在单一任意故障模式下,能够正确地进行故障的检测和诊断,并保证所有正常节点保持一致状态,从而保证单一故障节点被掩蔽,实现单一故障的容错能力。

基于高阶马尔可夫链的无线传感器网络异常节点检测

现有无线传感器网络异常节点检测方法由于应用技术自身局限性,存在误检率较高的问题,基于此,提出基于高阶马尔可夫链的无线传感器网络异常节点检测方法。为了降低网络异常节点的误检率,构建无线传感器网络节点属性模型,以此为基础,构建高阶马尔可夫链定义网络正常节点模型;制定节点分簇协议,确定簇头节点并获取节点相关信息,与网络正常节点高阶马尔可夫链进行比较,判定待检测节点的类别,实现无线传感器网络异常节点检测。实验数据显示:在时间与节点密集度两种自变量背景下,与现有方法相比较,基于高阶马尔可夫链的无线传感器网络异常节点检测方法异常节点误检率较低,具有一定可靠性。