一个公平不可抵赖协议及其形式化分析

不可抵赖作为基本的网络安全服务之一,必须提供不可抵赖证据的产生、收集和维护机制以防止交易的任何一方试图对交易中已发生的特定事件或行为的欺诈性抵赖.另外,公平性也是一个必须考虑的因素,它保证交易的任何一方都不可能因为过早地退出交易或在交易中作弊而取得事实上凌驾于另一方的优势地位.本文针对目前ISO/IEC 13888的不可抵赖机制因为不公平性而存在的严重缺陷:选择性收据问题,提出了一个公平不可抵赖协议FNORP,并通过严格的形式化分析证明了FNORP具有不可抵赖性、公平性和适时中止性.

A Fair Non-Repudiation Protocol and Its Formal Analysis

Non repudiation,as one of the basic network security services,must provide mechanisms in which evidence will be generated,collected and maintained to protect the transacting parties against any false denial in which a particular event or action has taken place.In addition,fairness is a desirable requirement such that neither party can gain an advantage by quitting prematurely or otherwise misbehaving during a transaction.Aiming at solving a serious bug: the selective receipt problem in the current ISO/IEC 13888 non repudiation mechanism,which is induced by unfairness,this paper presents a Fair non repudiation protocol FNORP and through a strict formal analysis.We show that FNORP possesses the capabilities of non repudiation,fairness and timely termination.