Title :
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
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;
Conference_Titel :
Internet Technology and Secured Transactions, 2009. ICITST 2009. International Conference for
Conference_Location :
London
Print_ISBN :
978-1-4244-5647-5
DOI :
10.1109/ICITST.2009.5402598
