电子学报
電子學報
전자학보
ACTA ELECTRONICA SINICA
2009年
2期
377-381
,共5页
多方不可否认%形式化分析%时限性
多方不可否認%形式化分析%時限性
다방불가부인%형식화분석%시한성
时限性是实用的不可否认协议必须具备的一个基本性质.形式化分析典型的多方不可否认协议时发现其存在未公布的时限性缺陷.本文通过向协议消息中添加额外时间控制信息和改变协议交互步骤的办法对该缺陷进行了改进.
時限性是實用的不可否認協議必鬚具備的一箇基本性質.形式化分析典型的多方不可否認協議時髮現其存在未公佈的時限性缺陷.本文通過嚮協議消息中添加額外時間控製信息和改變協議交互步驟的辦法對該缺陷進行瞭改進.
시한성시실용적불가부인협의필수구비적일개기본성질.형식화분석전형적다방불가부인협의시발현기존재미공포적시한성결함.본문통과향협의소식중첨가액외시간공제신식화개변협의교호보취적판법대해결함진행료개진.
