多方不可否认协议的增广CSP建模与分析
Modeling and analysis of multi-party non-repudiation protocols with extended-CSP approach
摘要
Abstract
10.3969/j.issn.1000-436x.2012.z2.026关键词
形式化分析/多方不可否认/时限性/增广CSP方法Key words
formal analysis/multi-party non-repudiation/timeliness/extended-CSP approach分类
信息技术与安全科学引用本文复制引用
韩志耕,陈耿,罗军舟..多方不可否认协议的增广CSP建模与分析[J].通信学报,2012,(z2):189-195,7.基金项目
国家自然科学基金资助项目(71271117,70971067,61272074) （71271117,70971067,61272074）
江苏省高校自然科学基金资助项目(12KJB520005,12KJD410001) （12KJB520005,12KJD410001）
江苏省网络与信息安全重点实验室基金资助项目(BM2003201) （BM2003201）
江苏省高校科研成果产业化推进工程基金资助项目(JHB2012-20) （JHB2012-20）
江苏省六大人才高峰基金资助项目(07-E-025) （07-E-025）
南京审计学院人才引进基金资助项目(NSRC10033) Foundation Items: The National Natural Science Foundation of China (71271117,70971067,61272074) （NSRC10033）
The Natural Science Foundation of Jiangsu Educational Committee(12KJB520005,12KJD410001) （12KJB520005,12KJD410001）
Jiangsu Provincial Key Laboratory of Network and Information Security (BM2003201) （BM2003201）
The Scientific Research Promotion Industrialization Project of Jiangsu Educational Committee (JHB2012-20) （JHB2012-20）
The Jiangsu Provincial Six Talents Peak Project (07-E-025) （07-E-025）
Nanjing Audit University Talent Introduction Project (NSRC10033) （NSRC10033）
