Formal Analysis Of Multi-party Non-repudiation Protocols Without TTP

摘要：

Non-repudiation service is crucial to electronic commerce. Now multi-party non-repudiation is a new focus of research. This paper presents a multi-party non-repudiation protocol, based on a group encryption scheme. A multi-party non-repudiation problem is defined in this paper. This definition and the resulting protocol are more general than the other comparable work. At last, an example of fair multi-party non-repudiation protocol without a trusted third party (TTP) is given out, which uses formal method of SVO logic to analyze the protocol and prove its correctness.

关键词： non-repudiation multi-party protocol trusted third party E-commerce SVO Logic

作者: Xiaoqiong Wang Xueming Wang

作者单位: School of Information Guizhou institute of Finance and Economics Guiyang, China 550004 Computer Science and Information College Guizhou University Guiyang, China 550025

会议类型: 国际会议

会议名称: 2010 International Conference on Communications and Intelligence Information Security(2010年国际信息与智能安全学术会议 ICCIIS2010)

会议地点: 南宁

会议语种:英文

页码: 96-99

在线出版日期: 2010-10-13（万方平台首次上网日期，不代表论文的发表时间）