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

• A Fair Non-Repudiation Protocol and Its Formal Analysis