Secure Protocol for Financial Transactions Using Smartphones - SPFT - Formally Proved by AVISPA.

Shizra Sultan, Abdul Ghafoor Abbasi, Muhammad Awais Shibli, Muhammad Ali Nasir

Browse the full SECRYPT paper archive.