不可否认协议分析的增广CSP方法
韩志耕,罗军舟,王良民
Extended-CSP based analysis of non-repudiation protocols
Zhi-geng HAN,Jun-zhou LUO,Liang-min WANG
通信学报 . 2008, (10): 8 -18 .  DOI: 1000-436X(2008)10-0008-11