A secure and optimized mobile payment framework with formal verification

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]

Authors

Shaik Shakeel Ahamad

This author has not been identified. Look up 'Shaik Shakeel Ahamad' in Google

V. N. Sastry

This author has not been identified. Look up 'V. N. Sastry' in Google

Siba K. Udgata

This author has not been identified. Look up 'Siba K. Udgata' in Google