电子证据与反拒认协议及形式化分析

• An Electronic Evidence and Non-Repudiation Protocol and Its Formal Analysis