一个公平不可抵赖协议及其形式化分析

• 作者: 刘璟 周明天
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 不可抵赖 公平性 适时中止性 离线TTP
• 年，卷（期）: 2003,（9）
• 所属期刊栏目: 科研通信
• 页码范围: 1422-1425
• 页数: 4页
• 分类号: TP309
• 字数: 4612字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2003.09.038

摘要

不可抵赖作为基本的网络安全服务之一,必须提供不可抵赖证据的产生、收集和维护机制以防止交易的任何一方试图对交易中已发生的特定事件或行为的欺诈性抵赖.另外,公平性也是一个必须考虑的因素,它保证交易的任何一方都不可能因为过早地退出交易或在交易中作弊而取得事实上凌驾于另一方的优势地位.本文针对目前ISO/IEC 13888的不可抵赖机制因为不公平性而存在的严重缺陷:选择性收据问题,提出了一个公平不可抵赖协议FNORP,并通过严格的形式化分析证明了FNORP具有不可抵赖性、公平性和适时中止性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周明天	电子科技大学计算机学院	315	3725	27.0	49.0
2	刘璟	电子科技大学计算机学院	11	123	6.0	11.0