%0 Journal Article
%T Design and formal analysis of certified E-mail protocol<br>一种挂号电子邮件协议的设计及其形式化分析
%A 高悦翔
%A 彭代渊
%J 计算机应用
%D 2008
%I 
%X 挂号电子邮件协议需要具备保密性、不可否认性及公平性.提出了一种基于在线第三方的挂号电子邮件协议,以满足挂号电子邮件的一般安全特性.利用扩展Kailar逻辑对该协议进行分析,说明该协议满足不可否认性及公平性,并具有抗篡改、重放等攻击及第三方无法获得邮件内容等优点.
%K Certified E-mail Protocol
%K Non-repudiation
%K Fairness
%K Formal Analysis
%K Kailar Logic<br>挂号电子邮件协议
%K 不可否认性
%K 公平性
%K 形式化分析
%K Kailar逻辑
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=EABF92A22EE4C767C3396BEA1DC28583&yid=67289AFF6305E306&vid=D3E34374A0D77D7F&iid=5D311CA918CA9A03&sid=A2D60850BF3030B0&eid=1744D1F6FFC838D2&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=8