Shizra Sultan, Abdul Ghafoor Abbasi, Muhammad Awais Shibli, Muhammad Ali Nasir: Secure Protocol for Financial Transactions Using Smartphones - SPFT - Formally Proved by AVISPA. SECRYPT 2014: 387-392