Abdullah M. Almuhaideb, Bala Srinivasan, Phu Dung Le, Campbell Wilson, Vishv Malhotra. Analysis of mobile authentication protocols by SVO logic. 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 126-134, ACM, 2012. [doi]
@inproceedings{AlmuhaidebSLWM12,
title = {Analysis of mobile authentication protocols by SVO logic},
author = {Abdullah M. Almuhaideb and Bala Srinivasan and Phu Dung Le and Campbell Wilson and Vishv Malhotra},
year = {2012},
doi = {10.1145/2490428.2490446},
url = {http://doi.acm.org/10.1145/2490428.2490446},
researchr = {https://researchr.org/publication/AlmuhaidebSLWM12},
cites = {0},
citedby = {0},
pages = {126-134},
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},
}