A. R. Rizwana Shaikh, Satish Devane. Verification of security properties of payment protocol using AVISPA. In Proceedings of the 4th International Conference for Internet Technology and Secured Transactions, ICITST 2009, London, UK, November 9-12, 2009. pages 1-6, IEEE, 2009. [doi]
Abstract is missing.