多方不可否认协议的增广CSP建模与分析
韩志耕,陈耿,罗军舟
Modeling and analysis of multi-party non-repudiation protocols with extended-CSP approach
Zhi-geng HAN,Geng CHEN,Jun-zhou LUO
通信学报 . 2012, (Z2): 189 -195 .  DOI: 10.3969/j.issn.1000-436x.2012.z2.026