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

• Formal analysis technology of non-repudiation protocols