Formal Verification of Payment protocol using AVISPA
A.R. Rizwana Shaikh, Satish Devane · International Journal for Infonomics · 2010
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 its 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. Formal Method ProcessFormal Method is the process of verifying system behavior using formal semantics.The process of Formal method shown in Figure below: consists of the following three tasks:1. Formal Specification -descriptive 2. Formal Synthesis-layered approach 3. Formal Verification -analysis