通信学报2008，Vol.29Issue(10)：8-18,11.
不可否认协议分析的增广CSP方法
Extended-CSP based analysis of non-repudiation protocols
摘要
关键词
不可否认/增广CSP方法/公平性/时限性/形式化方法分类
信息技术与安全科学引用本文复制引用
韩志耕,罗军舟,王良民..不可否认协议分析的增广CSP方法[J].通信学报,2008,29(10):8-18,11.基金项目
国家自然科学基金资助项目(90604004,60703115) （90604004,60703115）
江苏省自然科学基金资助项目(BK2007708,BK2008030) （BK2007708,BK2008030）
江苏省"网络与信息安全"重点实验室基金资助项目(BM2003201) （BM2003201）
科技部国际科技合作项目 （）
