Model Checking Analysis of Probabilistic Non-repudiation Protocol

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