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

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