电子学报 ›› 2009, Vol. 37 ›› Issue (2): 377-381.

• 论文 • 上一篇    下一篇

多方不可否认协议时限性分析与改进

韩志耕, 罗军舟   

  1. 东南大学计算机科学与工程学院,江苏南京 210096
  • 收稿日期:2007-08-28 修回日期:2008-10-20 出版日期:2009-02-25 发布日期:2009-02-25

Analysis and Improvement of Timeliness of a Multi-Party Non-Repudiation Protocol

HAN Zhi-geng, LUO Jun-zhou   

  1. School of Computer Science and Engineering,Southeast University,Nanjing,Jiangsu 210096,China
  • Received:2007-08-28 Revised:2008-10-20 Online:2009-02-25 Published:2009-02-25

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

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

Abstract: Timeliness is a key security property of practical non-repudiation protocols.This paper analyzed an existing representative multi-party non-repudiation protocol using formal method and found that it lacks the support for timeliness.Then an improved protocol was proposed which fixes the flaw by both adding extra time limit information into protocol messages and modifying the sequence of protocol steps.

Key words: multi-party non-repudiation, formal analysis, timeliness

中图分类号: