-
题名一个优化的公平的多方不可否认协议
被引量:5
- 1
-
-
作者
邓所云
隋爱芬
胡正名
杨义先
-
机构
北京邮电大学信息安全中心
-
出处
《电子与信息学报》
EI
CSCD
北大核心
2002年第12期1985-1989,共5页
-
基金
国家重点基础研究发展规划项目(编号:G1999035805)
国家杰出青年基金(批准号:69425001)
+2 种基金
国家自然科学基金(批准号:69882002
60073049)
高等学校骨干教师资助计划
-
文摘
公平的不可否认协议解决了电子商务中信息传输的互相否认问题,并使通信各方处于平等的位置。也就是说,对各方来说,协议是公平的。该文提出了一个“优化”意义上的公平的多方不可否认协议,在正常情况下,协议并不涉及TTP,只有在一方不诚实或通信崩溃的情况下才会使用TTP,避免了TTP成为系统通信的瓶颈,提高了协议的效率。
-
关键词
公平
多方不可否认协议
组加密
电子商务
通信
-
Keywords
Optimization, Non-repudiation, Multi-party protocol, Group encryption, Fairness
-
分类号
F713.36
[经济管理—产业经济]
TN91
[电子电信—通信与信息系统]
-
-
题名公平的多方不可否认协议
被引量:4
- 2
-
-
作者
何冰
李肖坚
夏春和
夏克俭
-
机构
北京科技大学信息工程学院
北京航空航天大学计算机学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2005年第27期120-122,156,共4页
-
基金
航空基金(编号:03F51060)
-
文摘
电子商务中保证信息交换的不可否认性是一项必不可少的安全服务,而多方不可否认协议则是当前的研究重点之一。论文通过分析当前已发表的多方协议或方案,指出当前多方不可否认协议存在由于发送方占优势导致的不公平问题,并提出了基于双重组加密方法的多方不可否认协议,进一步削弱了发送方的优势。最后用SVO逻辑的形式化分析方法证明了协议的正确性。
-
关键词
公平性
多方不可否认协议
形式化分析
-
Keywords
fairness,multi-party non-repudiation protocol,formal analysis
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名基于区块链的公平多方不可否认协议
被引量:5
- 3
-
-
作者
苑博奥
刘军
李戈
-
机构
陆军工程大学指挥信息系统学院
南京审计大学金审学院
-
出处
《密码学报》
CSCD
2018年第5期546-555,共10页
-
文摘
多方不可否认协议有着广泛的应用场景,诸如多方电子支付和视频会议等.在这些应用场景中,各参与方互不信任,有着事后否认曾参与协议的可能,多方不可否认协议便是为解决这一问题而产生的一类密码协议.为实现协议的公平性,现有的多方不可否认协议都依赖于可信第三方TTP的参与,中心化的TTP成为了协议的性能瓶颈,同时,在现实中很难保证TTP的完全可信,给协议带来了潜在的安全威胁.在区块链中,所有的节点通过共识算法共同维护一个公开链结构,提供了类似去中心化TTP的功能,有助于解决由中心化TTP带来的性能和安全问题.本文基于公开链结构,提出一个完全无TTP参与的多方不可否认协议,并用形式化分析方法证明了协议满足不可否认性、公平性和时限性.与经典协议进行对比,所提协议在各项指标中均显示了良好的性能.
-
关键词
多方不可否认协议
区块链
无TTP
不可否认性
公平性
时限性
-
Keywords
multi-party non-repudiation protocol
block chain
no TTP
non-repudiation
fairness
timeliness
-
分类号
TP309.7
[自动化与计算机技术—计算机系统结构]
-
-
题名一种可靠的多方不可否认协议的逻辑分析方法
被引量:2
- 4
-
-
作者
苑博奥
刘军
-
机构
陆军工程大学指挥信息系统学院
-
出处
《计算机科学》
CSCD
北大核心
2018年第7期143-149,共7页
-
文摘
多方不可否认协议需要满足不可否认性、公平性和时限性三大安全目标,但是现有的对多方不可否认协议的形式化分析方法大多是对两方协议分析方法的简单扩展,单一方法不能完整覆盖所有的安全目标分析;同时,对单一安全目标的分析能力有限,分析结果不可靠。首先,综合比较现有的分析技术,选定SVO逻辑进行扩展,显式引入时间因素,给出对应的语法定义和时间演算公理。然后,对改进逻辑的语义模型进行介绍,并证明了逻辑系统的可靠性,使得改进后的逻辑系统支持对多方不可否认协议三大安全目标的分析。最后,选取一个典型的多方不可否认协议,分别对其时限性和公平性进行分析,发现了其中存在的时限性和公平性缺陷,并给出了对应的攻击方法。其中,公平性缺陷是首次被发现。
-
关键词
多方不可否认协议
SVO逻辑
时限性
公平性
-
Keywords
Multi-party non-repudiation protocol
SVO logic
Timeliness
Fairness
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-