Zhou-Gollmann不可否认协议的一种新的改进

Zhou和Gollmann于1996年提出了一个简单有效的公平不可否认协议,但Kim等人后来发现该协议不具有时限性并提出了一个改进方案．虽然他们的改进解决了协议的时限性问题,但却高度依赖于各实体间时间的一致性,实现时需要在各实体间加入时钟同步机制,致使协议实现困难、低效．该文引入一种新的同步机制,并用它改进了Zhou—Gollmann的不可否认协议．新的改进使协议不需要时钟同步机制,还能通过使用一种称为证据链的证据管理机制使协议实现效率更高．使用SVO逻辑对改进后的协议进行形式化分析的结果表明它能提供时限性和公平性．     

Kim公平非否认协议的改进

在介绍Kim公平非否认协议的基础上,分析了LSG协议,指出协议中存在因消息重放而导致不公平的情况,提出了一个改进后的协议,并用新的Kailar逻辑对新协议的公平性和可追究性进行了分析。     

对Zhou-Gollmann不可否认协议的一种新改进*

Zhou 和 Gollmann于1996年提出了一个简单有效的公平不可否认协议,但Kim等人发现协议不具有时限性并提出了一个改进方案,虽然该改进方案解决了协议的时限性问题,但却导致了另一种攻击——拒绝服务攻击。针对这一攻击,提出了一种新的改进方法,分析表明改进后的协议能提供时限性和公平性。     

公平非否认协议的有限状态分析

本文针对公平非否认协议给出了一种基于有限状态自动机的分析模型,并使用SPIN模型检测工具,对Zhou-Gollmann非否认协议进行了分析,结果发现该协议不满足公平性和机密性．为此对该协议进行了改进。     

对Zhou-Gollmann不可否认协议的一种新改进*

Zhou和Gollmann于1996年提出了一个简单有效的公平不可否认协议,但Kim等人发现协议不具有时限性并提出了一个改进方案,虽然该改进方案解决了协议的时限性问题,但却导致了另一种攻击——拒绝服务攻击。针对这一攻击,提出了一种新的改进方法,分析表明改进后的协议能提供时限性和公平性。     

一个新的公平非否认协议

在安全数据传输协议中，发送方和接收方的非否认性及公平性非常重要。通常可以通过采用数据传输中的双方非否认协议来达到这个目的。在克服CMPI协议缺陷的基础上，提出了一种新的公平非否认电子邮件协议。经过使用改进的Kailor逻辑分析验证，新的协议满足非否认性和公平性原则，可广泛应用于电子邮件、电子合同等电子商务应用中。     

一种离线TTP公平非否认协议的安全性分析方法

给出了一种离线TTP公平非否认协议的分析方法,离线TTP公平非否认协议得到了广泛的研究,针对离线TTP公平非否认协议的分析并不是那么广泛.针对离线TTP公平非否认协议具有协议簇的特点,将协议实例化,实例化后可以对单个协议实例的非否认性和有效性进行分析;通过扩展Kailar逻辑,增加时间相关限定词来表述协议的执行序列,用协议执行序列来表达和分析协议的公平性和时效性.利用该方法,对两种公平非否认协议进行分析,分析的结果表明CCD不符合公平性,而ZG的时效性不能够得到满足.     

一种新型的非否认协议

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

基于有色Petri 网的时钟同步协议安全性分析

随着工业以太网的发展,作为其实时性保障核心技术的时钟同步协议的安全性变得至关重要。针对时钟同步协议的安全性问题,首先提出一种基于有色Petri网的时钟同步协议安全性分析方法;然后通过建立协议的有色Petri网模型,利用状态方程等工具针对不安全状态的可达性进行判断分析,从而实现时钟同步协议的安全性分析;最后具体分析了一种基于精密时钟同步协议(PTP)的时钟同步协议以及针对该协议的主时钟欺骗攻击,验证了所提出方法的有效性。     

一种新型基于局域网的时钟同步系统设计

时钟的同步是保证许多分布式自动化系统正常运行的重要条件,目前的时钟同步系统常基于CAN网或KS485网,存在着覆盖区域小和传输速度低等缺陷.针对这些缺点,设计一种新的基于局城网的时钟同步系统,给出时钟同步系统总体结构,提出时钟同步系统中的一些关键技术,并对系统的硬软件进行设计.该系统在某电站经过一年的试运行,结果表明该系统的时钟同步精度高,系统运行可靠稳定.     

IEEE 1588用于话音业务同步的可行性研究

通过对IEEE1588时钟同步协议的研究,深入分析了影响其时钟同步精度的关键因素,并根据标准建议的改进后的算法,结合电路仿真业务的网络结构搭建模型,通过网络仿真,得出其用来同步在数据分组网络中传输话音业务时可以获得的同步精度结果。     

具有容错性的时间同步协议算法

在无线传感器网络的许多时间同步协议中,算法的精确性、高效性以及简洁性总被优先考虑.此外,容错性时间同步协议也逐渐受到越来越多的关注,鉴于经典算法浮动时间同步协议(FTSP)较为全面地考虑了时间同步的能耗、同步精度、可扩展性等要求,提出了一种基于FTSP具有容错性的时间同步协议,算法通过对历史所测的有限个时钟漂移率进行加权平均计算新的漂移率,其中算法的加权系数根据历史测量值的方差动态确定.通过Matalab对新算法的时钟漂移率和在接收到错误信息情况下漂移率的变化进行仿真分析,结果表明:改进后的算法具有较强的容错性.     

混合时钟同步技术在船舶电力系统同步相量测量中的应用研究

针对船舶电力系统相对于陆地广域电力系统的不同特性,分析传统时钟同步方法对于船舶同步向量测量单元(SPMU)的局限性,采用一种基于IEEE1588协议的卫星时钟同步与局域网时钟同步相结合的混合时钟同步技术实现SPMU的时钟同步,通过实验对同步偏差性能进行测试,结果表明时钟同步偏差维持在±500ns以内,可以满足电力系统对电力参数测量的同步精度要求。     

无线传感器网络时钟参数追踪与一致性同步*

针对无线传感器网络分布式时钟同步问题,本文提出了基于卡尔曼滤波的最大一致性时钟同步算法。在获得硬件时钟参数后,通过设置预定偏斜目标,各节点可不通过网络交换来调整时钟偏斜。为了进一步使节点间时钟偏移达到同步,本文设计了最大一致性控制方案来补偿节点,并基于图论给出算法收敛性证明。仿真结果表明本文的算法能够快速跟踪硬件时钟参数,较加权最大一致性时钟同步算法收敛速度更快,全局平均同步误差下降了一个数量级。     

IEEE1588精确时钟同步协议从时钟设计

时钟漂移与传输延时的不确定性是分布式系统时钟同步中不容忽视的问题,它直接影响同步精度。分析了IEEE 1588精确时钟同步协议的同步机制,设计了从时钟的硬件结构,提出了结合数据滤波和锁相环PI调节的高精度时钟同步算法。     

基于本地时钟自校正的无线传感器网络同步方法

通过分析TPSN同步协议和造成时钟偏差不确定性的各种因素,结合无线传感器网络低功耗的特点及其对时钟同步算法精度的要求,针对TPSN未对时钟频率漂移进行估计的问题,提出一种节点本地时钟自校正方法,并设计了平均时钟偏差指标对一个同步周期内时钟精度进行评价。对比实验结果表明本方法易于实现,在保证同步精度的同时可以延长同步周期,减少同步开销,节约了能耗。     

基于分布式系统实现时钟同步的统计平均算法

讨论了分布式系统中时钟同步的系统模型,远端时钟读取方法以及双向通信传输过程,给出了3种不同的时钟同步方案,同时,对基于多次同步消息的冗余传输,提出了新的基于统计平均的时钟同步算法。通过多步时间传输协议,在较短同步周期内对时钟进行同步。     

虚拟时钟指数逼近的无线传感器网络时钟同步协议

提出了一个基于虚拟时钟指数逼近的无线传感器网络时钟同步协议,采用一个虚拟时钟作为全网同步的基础,从而实现全网同步。由于采用虚拟时钟,使得各节点进入网络时有了统一的标准,对时钟扭曲和偏移采用指数逼近的方法,在相差较大时调整快,提高了同步效率。仿真数据证明,本协议能有效地提高同步效率,并适应于不同的网络拓扑。     

IEEE1588协议硬件时间戳标记电路设计

IEEE1588协议是一种基于网络多播技术的精密时钟同步协议,为了提高时钟同步的精度,提出了一种在以太网物理层和MAC层之间的介质无关接口(MII/RMII)处检测同步报文的策略和实现精确时间戳标记方案,在此方案基础上设计和实现了基于FP-GA的硬件时间戳标记电路;设计了相关测试平台,对设计电路进行了测试和验证,测试结果表明设计的时间戳标记电路可以在RMII接口处实时地标记同步报文的收发时间戳,设计达到课题要求,应用性能良好。