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]
Abstract is missing.