%0 Conference Paper %1 conf/securit/AhamadSU12 %A Ahamad, Shaik Shakeel %A Sastry, V. N. %A Udgata, Siba K. %B SECURIT %D 2012 %E Chandrasekhar, R. %E Tanenbaum, Andrew S. %E Rangan, P. Venkat %I ACM %K dblp %P 27-35 %T A secure and optimized mobile payment framework with formal verification. %U http://dblp.uni-trier.de/db/conf/securit/securit2012.html#AhamadSU12 %@ 978-1-4503-1822-8

@inproceedings{conf/securit/AhamadSU12, added-at = {2019-10-19T00:00:00.000+0200}, author = {Ahamad, Shaik Shakeel and Sastry, V. N. and Udgata, Siba K.}, biburl = {https://www.bibsonomy.org/bibtex/2da23dfab0914250a1ae36370f9deeea8/dblp}, booktitle = {SECURIT}, crossref = {conf/securit/2012}, editor = {Chandrasekhar, R. and Tanenbaum, Andrew S. and Rangan, P. Venkat}, ee = {https://doi.org/10.1145/2490428.2490432}, interhash = {7e5b78c3e0f04b80b622cb0102725d9a}, intrahash = {da23dfab0914250a1ae36370f9deeea8}, isbn = {978-1-4503-1822-8}, keywords = {dblp}, pages = {27-35}, publisher = {ACM}, timestamp = {2019-10-22T14:07:12.000+0200}, title = {A secure and optimized mobile payment framework with formal verification.}, url = {http://dblp.uni-trier.de/db/conf/securit/securit2012.html#AhamadSU12}, year = 2012 }