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

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

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

董荣胜;陈大伟;郭云川;古天龙

Model Checking Analysis of Probabilistic Non-repudiation Protocol

DONG Rongsheng; CHEN Dawei; GUO Yunchuan; GU Tianlong

计算机工程 . 2007, (03): 163 -166 . DOI: 10.3969/j.issn.1000-3428.2007.03.059