A Secure Mobile Wallet Framework with Formal Verification

Shaik Shakeel Ahamad, V. N. Sastry, Siba K. Udgata. A Secure Mobile Wallet Framework with Formal Verification. IJAPUC, 4(2):1-15, 2012. [doi]

Abstract

Abstract is missing.