Design and formal analysis of certified E-mail protocol
一种挂号电子邮件协议的设计及其形式化分析

挂号电子邮件协议需要具备保密性、不可否认性及公平性.提出了一种基于在线第三方的挂号电子邮件协议,以满足挂号电子邮件的一般安全特性.利用扩展Kailar逻辑对该协议进行分析,说明该协议满足不可否认性及公平性,并具有抗篡改、重放等攻击及第三方无法获得邮件内容等优点.