乐观公平交换协议的可追究性分析

• 作者: 卜凡金 邢育红
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 乐观公平交换协议 可追究性 形式化分析
• 年，卷（期）: 2006,（27）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 125-128
• 页数: 4页
• 分类号: TP309
• 字数: 4244字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.27.038

摘要

可追究性是安全电子商务协议必须遵循的重要原则之一,乐观公平交换协议是一类重要的电子商务协议.目前没有针对乐观公平交换协议的可追究性进行形式化分析的具体方法.文章提出了一种分析乐观公平交换协议可追究性的形式化方法,该方法不再单独定义非否认证据,只是研究协议的目标设计是否能提供实现可追究性的证据,将可追究性证明与公平性等其它安全性质的证明分开讨论,这样不论协议是否满足其它安全性质,都可以讨论协议是否满足可追究性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邢育红		8	9	1.0	2.0
2	卜凡金		4	8	1.0	2.0