Verification of security properties of payment protocol using AVISPA. - A. R. Rizwana Shaikh; Satish Devane (ICITST, 2009)