DocumentCode :
2970217
Title :
Formal Analysis Of Multi-party Non-repudiation Protocols Without TTP
Author :
Wang, Xiaoqiong ; Wang, Xueming
Author_Institution :
Sch. of Inf., Guizhou Inst. of Finance & Econ., Guiyang, China
fYear :
2010
fDate :
13-14 Oct. 2010
Firstpage :
96
Lastpage :
99
Abstract :
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.
Keywords :
cryptographic protocols; electronic commerce; formal logic; SVO logic; electronic commerce; formal analysis; formal method; group encryption scheme; multiparty nonrepudiation protocols; Bismuth; Electronic commerce; Encryption; Protocols; Topology; E-commerce; SVO Logic; multi-party protocol; non-repudiation; trusted third party;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Communications and Intelligence Information Security (ICCIIS), 2010 International Conference on
Conference_Location :
Nanning
Print_ISBN :
978-1-4244-8649-6
Electronic_ISBN :
978-0-7695-4260-7
Type :
conf
DOI :
10.1109/ICCIIS.2010.33
Filename :
5629199
Link To Document :
بازگشت