Eduardo dos Santos, Jean Everson Martina, Ricardo Felipe Custódio. Towards a Formal Verification of a Multi-factor Authentication Protocol Using Automated Theorem Provers. In Geyong Min, Yulei Wu, Lei (Chris) Liu, Xiaolong Jin, Stephen A. Jarvis, Ahmed Yassin Al-Dubai, editors, 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2012, Liverpool, United Kingdom, June 25-27, 2012. pages 84-91, IEEE Computer Society, 2012. [doi]
@inproceedings{SantosMC12,
title = {Towards a Formal Verification of a Multi-factor Authentication Protocol Using Automated Theorem Provers},
author = {Eduardo dos Santos and Jean Everson Martina and Ricardo Felipe Custódio},
year = {2012},
doi = {10.1109/TrustCom.2012.278},
url = {http://doi.ieeecomputersociety.org/10.1109/TrustCom.2012.278},
researchr = {https://researchr.org/publication/SantosMC12},
cites = {0},
citedby = {0},
pages = {84-91},
booktitle = {11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2012, Liverpool, United Kingdom, June 25-27, 2012},
editor = {Geyong Min and Yulei Wu and Lei (Chris) Liu and Xiaolong Jin and Stephen A. Jarvis and Ahmed Yassin Al-Dubai},
publisher = {IEEE Computer Society},
isbn = {978-1-4673-2172-3},
}