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

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