A Non-Repudiation Protocol for E-Mail and Its Formal Analysis

• 一种面向电子邮件的不可否认协议及其形式化分析