A Formal analysis of Non-Repudiation Protocols Based on First-Order Logic

摘要：

We present a new formal analysis method of non-repudiation protocols based on first-order logic which is widely used in Artificial intelligence field. It can determine the non-repudiation and fairness properties of the protocols. We illustrate our method on the well known fair Zhou-Gollmann non-repudiation protocol and find a known flaw in fairness. The result shows the validity and correctness of our method.

关键词： first-order logic non-repudiation fairness formal analysis

作者: FAN Yudan HAN Jihong WANG Yadi ZHAO Yu LIAO Kai

作者单位: the PLA Information Engineering University Institute of Electronic Technology, the PLA Information Engineering University, Zhengzhou, 450004

会议类型: 国际会议

会议名称: 第七届国际测试技术研讨会

会议地点: 北京

会议语种:英文

在线出版日期: 2007-08-05（万方平台首次上网日期，不代表论文的发表时间）