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