International Journal of Computer Applications
In this paper, the authors propose aspect oriented modeling and verification of a secure account based protocol for mobile payment when the application is under impersonation attack during the purchase phase of the protocol. The proposed work addresses the attack aspect and attack mitigation aspects that are woven inside secure account based protocol for mobile payment. The model proposed in this work gives a better understanding to implementer of secure account based protocol. Eventually the proposed model is verified by Alloy Analyzer to check the security concern at issuer's end. The model is checked for reasonably large scope of Alloy Analyzer without finding any counter example; this verifies the correctness of proposed model.