-
题名无滥用的乐观多方合同签署协议
- 1
-
-
作者
李向东
王清贤
陈莉
-
机构
解放军信息工程大学信息工程学院
郑州大学西亚斯国际学院计算机科学系
河南财经学院计算中心
-
出处
《计算机应用研究》
CSCD
北大核心
2009年第5期1904-1907,共4页
-
基金
国家“863”计划资助项目(2007AA01Z471)
河南省重点科技攻关项目(072102210029)
河南省科技攻关项目(0624260017)
-
文摘
为了解决多方合同签署协议结构复杂、难以理解和分析、消息交换轮数和次数多、效率低等问题,提出了两个乐观多方合同签署协议,并分析了协议的公平性和无滥用性。协议1使用普通数字签名算法,满足公平性但不满足无滥用性;协议2使用一种专用合同签名算法,同时满足公平性和无滥用性。两个协议都具有简单的对称结构,不论有多少个不诚实用户,主协议只需两轮交换,消息交换次数为O(n2)。
-
关键词
无滥用性
多方合同签署
乐观协议
公平交换
-
Keywords
abuse-freeness
multi-party contract signing
optimistic protocols
fair exchange
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名电子合同签订协议的符号模型检验分析
被引量：1
- 2
-
-
作者
常亮
古天龙
郭云川
-
机构
桂林电子工业学院计算机系
-
出处
《计算机工程与应用》
CSCD
北大核心
2005年第1期161-164,共4页
-
基金
广西科学基金资助
-
文摘
与密钥分发和认证协议相比,电子合同签订协议的形式化分析遇到了新的挑战。以Asokan、Shoup和Waidner提出的乐观合同签订协议为例,在对协议进行建模以及对相应的安全性质进行形式化描述的基础上,用符号模型检验器SMV对公平性、适时性和无滥用性进行了分析,检测出了相关的缺陷。表明了用SMV对电子合同签订协议进行符号模型分析的有效性。
-
关键词
电子合同签订协议
符号模型检验
公平性
无滥用性
-
Keywords
electronic contract signing protocol,symbolic model checking,fairness,abuse-freeness
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
