摘要： 基于逆向工程的思想，使用前期工作中提出的面向两方不可否认协议分析的增广CSP方法，对典型的Kremer-Markowitch多方不可否认协议的安全性进行了探索性建模与分析。借助该分析成功发现此协议在满足不可否认性和公平性的同时却不具备时限性。这表明在适用于两方不可否认协议安全性验证的同时，增广CSP方法也可作为多方不可否认协议安全性验证的新方法。