%0 Journal Article
%T Improvement and Formal Analysis of a Fair Multi-party Certified Mail Protocol
一个多方认证邮件协议的分析与改进
%A 高悦翔
%A 彭代渊
%J 计算机科学
%D 2012
%I
%X Fair multi-party certified mail protocol is a value service to deliver important data over Internet with guaran- teed 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-re- pudiation, fairness. Furthermore, it has advantage of resisting the attacks such as distort, replay and conspiracy.
%K Multi-party certified e-mail protocol
%K Non-repudiation
%K Fairness
%K Signcryption
%K Kailar logic
多方认证邮件协议,可追究性,公平性,签密,Kailar逻辑
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=CBB24D9260C712BB7F0FD24E0B1AF856&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=708DD6B15D2464E8&sid=9FFCC7AF50CAEBF7&eid=1D0FA33DA02ABACD&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0