摘要：时限性是实用的不可否认协议必须具备的一个基本性质.形式化分析典型的多方不可否认协议时发现其存在未公布的时限性缺陷.本文通过向协议消息中添加额外时间控制信息和改变协议交互步骤的办法对该缺陷进行了改进.

关键词：多方不可否认 形式化分析 时限性 

单位：东南大学计算机科学与工程学院; 江苏南京210096