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]
@inproceedings{AhamadSU12-1,
title = {A secure and optimized mobile payment framework with formal verification},
author = {Shaik Shakeel Ahamad and V. N. Sastry and Siba K. Udgata},
year = {2012},
doi = {10.1145/2490428.2490432},
url = {http://doi.acm.org/10.1145/2490428.2490432},
researchr = {https://researchr.org/publication/AhamadSU12-1},
cites = {0},
citedby = {0},
pages = {27-35},
booktitle = {First International Conference on Security of Internet of Things, SECURIT '12, Kollam, India - August 17 - 19, 2012},
editor = {R. Chandrasekhar and Andrew S. Tanenbaum and P. Venkat Rangan},
publisher = {ACM},
isbn = {978-1-4503-1822-8},
}