Verification of security properties of payment protocol using AVISPA

Author

Shaikh, A.R.R. ; Devane, S.

Author_Institution

SIES Grad. Sch. of Technol., Ramrao Adik Inst. of Technol., India

fYear

2009

fDate

9-12 Nov. 2009

Firstpage

1

Lastpage

6

Abstract

Emerging e-commerce activity is giving scope for the design of many new protocols, and to gain confidence, these protocol need to be verified for its designed properties. Specifically protocol used in e-commerce transactions needs to be verified for their security properties. Verification of these protocols is done using the formal verification tools. AVISPA is one of the evolving tools used mainly for verifying security properties. A newly designed electronic payment protocol is verified for its correctness and security properties. This paper presents the use of AVISPA for verifying the security properties of the newly evolved electronic transaction protocol.

Keywords

electronic commerce; formal verification; protocols; security of data; AVISPA; e-commerce transactions; electronic payment protocol; electronic transaction protocol; formal verification tools; security property verification; Artificial intelligence; Authentication; Cryptographic protocols; Cryptography; Electronic commerce; Formal verification; Internet; Robustness; Security; Smart cards;

fLanguage

English

Publisher

ieee

Conference_Titel

Internet Technology and Secured Transactions, 2009. ICITST 2009. International Conference for

Conference_Location

London

Print_ISBN

978-1-4244-5647-5

Type

conf

DOI

10.1109/ICITST.2009.5402598

Filename

5402598