Shizra Sultan, Abdul Ghafoor Abbasi, Muhammad Awais Shibli, Ali Nasir. Secure Protocol for Financial Transactions Using Smartphones - SPFT - Formally Proved by AVISPA. In Mohammad S. Obaidat, Andreas Holzinger, Pierangela Samarati, editors, SECRYPT 2014 - Proceedings of the 11th International Conference on Security and Cryptography, Vienna, Austria, 28-30 August, 2014. pages 387-392, SciTePress, 2014. [doi]
Abstract is missing.