Shaik Shakeel Ahamad, V. N. Sastry, Siba K. Udgata. A secure and optimized mobile payment framework with formal verification. In R. Chandrasekhar, Andrew S. Tanenbaum, P. Venkat Rangan, editors, First International Conference on Security of Internet of Things, SECURIT '12, Kollam, India - August 17 - 19, 2012. pages 27-35, ACM, 2012. [doi]
Abstract is missing.