概率非否认协议的模型检测分析

• Model Checking Analysis of Probabilistic Non-repudiation Protocol