Improvement and Formal Analysis of a Fair Multi-party Certified Mail Protocol
Peng Dai-yuan
Abstract
Fair multi-party certified mail protocol is a value service to deliver important data over internet with guaranteed receipt for each successful delivery.Therefore,the protocol needs to be confidential,and meets non-repudiation,fairness,exclusion and timeliness.This paper pointed out potential security concern for a current protocol,and improved the protocol based on signcryption scheme.The analysis by Kailar logic shows that the protocol can achieve the non-repudiation,fairness.Furthermore,it has advantage of resisting the attacks such as distort,replay and conspiracy.