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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.