Formal Verification of Payment protocol using AVISPA

A.R. Rizwana Shaikh, Satish Devane
2010 International Journal for Infonomics  
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 ecommerce 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
more » ... correctness and security properties. This paper discusses various formal verification methods and tools. Also it presents the use of AVISPA for verifying the security properties of the newly evolved electronic transaction protocol.
doi:10.20533/iji.1742.4712.2010.0035 fatcat:72g7exi4c5ejriugnapb5vb6ky