- 1、本文档共8页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
多方不可否认协议的增广CSP建模与分析Modelingandanalysisof
第33 卷第Z2 期 通 信 学 报 Vol.33 No. Z2
20 12 年11 月 Journal on Communications November 20 12
doi:10.3969/j.issn.1000-436x.2012.z2.026
多方不可否认协议的增广 CSP 建模与分析
1 1 2
韩志耕 ,陈耿 ,罗军舟
(1. 南京审计学院 信息科学学院,江苏 南京 211815 ;2. 东南大学 计算机科学与工程学院,江苏 南京 211189)
摘 要:基于逆向工程的思想,使用前期工作中提出的面向两方不可否认协议分析的增广 CSP 方法,对典型的
Kremer-Markowitch 多方不可否认协议的安全性进行了探索性建模与分析。借助该分析成功发现此协议在满足不
可否认性和公平性的同时却不具备时限性。这表明在适用于两方不可否认协议安全性验证的同时,增广CSP 方法
也可作为多方不可否认协议安全性验证的新方法。
关键词:形式化分析;多方不可否认;时限性;增广CSP 方法
中图分类号:TP393 文献标识码:B 文章编号:1000-436X(2012)Z2-0189-07
Modeling and analysis of multi-party non-repudiation
protocols with extended-CSP approach
1 1 2
HAN Zhi-geng , CHEN Geng , LUO Jun-zhou
(1. School of Information Science, Nanjing Audit University, Nanjing 211815, China;
2. School of Compute Science and Engineer, Southeast University, Nanjing 211189, China)
Abstract: Follow with the methodology of reverse engineering, an exploratory modeling and analysis of security of the
typical Kremer-Markowitch multi-party non-repudiation protocol were carried out with a novel method named extend-
ed-CSP approach which had been proposed for two-party non-repudiation protocol in preliminary work. With the analysis,
the inherent fact that this protocol statisfies not timeliness but non-repudiality and fairness was found successfully. The
result of the analysis indicates that, as applying to two-party non-
您可能关注的文档
- 国立台东高级中学九十九学年第二学期期末考高三国文科试题100.DOC
- 国立台南大学105年NAHA国际初阶芳香疗法证照辅导班招生简章.DOC
- 国立板桥高中100学年第一学期高一基础化学期末考试题卷.DOC
- 国立屏东女子高级中学九十三学年第二学期二年级国文科-屏东女中.DOC
- 国际展览中心城更新项目全套管连续入岩钻机事故技术分析.DOC
- 国际理解与己他关系国际教育中台湾意象的解构与重构-国家教育研究院.PDF
- 国际航空法会议管辖权问题工作组的报告-ICAO.PDF
- 国际行销-宝碱-教学资源互动网.PPT
- 国际食品法典标准速冻菜豆和黄刀豆.PDF
- 图411ICLG原理样机隔振原理示意图根据41节的微分方程.DOC
最近下载
- 2024年“大学习”活动线上培训栏目公共卫生与预防医学继续教育题库与答案第三套.docx VIP
- 群英会蒋干中计原文翻译.pdf VIP
- 部编版语文七年级上册 第二单元5《秋天的怀念》思政课 教学设计 .docx
- (仁爱科普2024版)英语七年级上册Unit2单元知识梳理+练习(学生版及解析版汇总).pdf VIP
- 个人自学计划及党性锻炼计划.docx VIP
- 第7章特殊土地基讲述.ppt
- 《生僻字》完整歌词(带注音、带谐音)打印版.pdf
- 《高效复习 精准备考》2025届高考英语一轮复习备考策略 课件.pptx
- 一年级安全教育主题班会课件.ppt VIP
- 新高考背景下高中思想政治模拟法庭的实践 .pdf
文档评论(0)