A Fair Non-Repudiation Protocol and Its Formal Analysis

• 一个公平不可抵赖协议及其形式化分析