论文部分内容阅读
时限性是实用的不可否认协议必须具备的一个基本性质.形式化分析典型的多方不可否认协议时发现其存在未公布的时限性缺陷.本文通过向协议消息中添加额外时间控制信息和改变协议交互步骤的办法对该缺陷进行了改进.
多方不可否认协议时限性分析与改进
【摘 要】
：
时限性是实用的不可否认协议必须具备的一个基本性质.形式化分析典型的多方不可否认协议时发现其存在未公布的时限性缺陷.本文通过向协议消息中添加额外时间控制信息和改变协
【机 构】
：
东南大学计算机科学与工程学院
【出 处】
：
电子学报
【发表日期】
：
2009年2期
其他文献
按照国家饮用水卫生规范，管网末梢水有效氯必须大于0．05mg／L才能保障饮用水卫生安全。而要达到此有效氯浓度，自来水厂投氯量一般要大于2mg／L。越来越多的研究表明，对于水质较差的Ⅲ
针对网格环境中资源分配的特点，提出新的基于组合双向拍卖的网格资源分配模型，通过网格用户和业务提供者的组合双向拍卖来实现资源的分配，并提出了网格资源定价算法，用以解决资源
比较了目前分布式视频系统的各种码率估计算法性能，并提出了改进的码率估计算法．本文算法位于解码器端，利用边信息和差值分布的概率模型以及高位比特对编码比特平面的码率进行估