A Fair Non-Repudiation Protocol and Its Formal Analysis
Ming Qiu Zhou · Dianzi xuebao · 2003
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.