一种基于混合密码体制的不可否认协议及其形式化分析

• A Hybrid Cryptosystem-Based Non-Repudiation Protocol and Its Formal Analysis