A New Non-Repudiation Protocol
Sihan Qing · 2000
In this paper, a new non-repudiation protocol is presented based on the correct ion of an existing protocol which has some security flaws. This scheme can work on an insecure and unreliable communication channel. Besides, it can deal with c heating. Some new notions and approaches for extending the SVO logic are introdu ced, then the extended SVO logic is used to analyze the new protocol and prove i ts correctness.