Accountability Analysis of Mobile Payment Protocol

protocol concerns about the ability to show that particular parties are responsible for transactions. Particularly, engaging parties must be able to prove to a dispute resolver (verifier) that they are honest for the transaction relevant to them. With the advent of electronic and mobile commerce, cryptographic protocols are being adapted for implementing commercial transactions, and there is a need to provide accountability for protocol participants. Four accountability logics have been selected and further discussed in terms of their strengths and weaknesses in analyzing the accountability of mobile payment protocol. These includes: BAN Logic, Kailar's Logic, Kessler and Neumann's (KN) Logic and Kungpisdan's (KP) Logic. The findings revealed that Kungpisdan's (KP) Logic is most appropriate to analyze mobile payment transaction in wireless and mobile networks. The proposed mobile payment protocol has been analyzed against the Kungpisdan's (KP) Logic and the result revealed that the proposed protocol achieved the accountability property in mobile transaction. The future work will concentrate on improving the key generation techniques and symmetric key exchange schemes.