-
题名基于不经意传输的合同签订协议
被引量：5
- 1
-
-
作者
曲亚东
侯紫峰
韦卫
-
机构
中国科学院计算技术研究所
联想研究院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2003年第4期615-619,共5页
-
基金
国家自然科学基金重大项目 (698962 5 0 5 )
-
文摘
在网络环境中解决合同签订问题需要保证信息交换的同时性 ,以前提出的协议都会给第 2个发送者部分计算特权 ,利用不经意传输协议则可以解决这个问题 在协议执行过程中 ,参与者将合同的签名位以及他对签名位的承诺不经意传输给对方 ,对方可以利用验证子协议证明该位的有效性 ,但是他却不能通过位交换次数的增加获取更多的完整签名的信息 ;在完成签名位的交换之后 ,参与者分别宣布承诺 ,并得到对方对合同的完整签名 ;在宣布承诺时 ,协议参与者已经获得全部的签名内容 ,要么是签名位 ,要么是对方对该位的承诺 ,因此参与者并不需要担心对方提前终止协议
-
关键词
不经意传输协议
合同签订协议
网络环境
信息安全
密码学
网络安全
计算机网络
-
Keywords
secure multi party computation
oblivious transfer
zero knowledge proof
trapdoor function
bit commit
-
分类号
TN915.04
[电子电信—通信与信息系统]
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名电子合同签订协议的符号模型检验分析
被引量：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
[自动化与计算机技术—计算机软件与理论]
-
-
题名乐观合同签订协议的模型检测分析
- 3
-
-
作者
周立青
杨晋吉
-
机构
华南师范大学计算机学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第7期142-144,147,共4页
-
基金
国家"973"计划基金资助项目(2009CB320701)
广东省科技计划基金资助项目(2007B010400068)
-
文摘
从ECS1协议和PFH协议出发,研究三轮乐观合同签订协议的结构。利用协议动作序列及条件图建立协议模型,分析三轮协议满足有限性的条件。在此基础上,结合模型检测工具SPIN,对满足有限性的协议结构的公平性进行分析、验证,并给出反例,说明三轮协议不可能同时满足有限性和公平性。
-
关键词
合同签订协议
乐观
模型检测
公平性
有限性
-
Keywords
contract signing protocol
optimistic
model checking
fairness
timeliness
-
分类号
TP309.2
[自动化与计算机技术—计算机系统结构]
-
