Formal analysis technology of non-repudiation protocols

• 非否认协议形式化分析技术