Alessandro Armando, Roberto Carbone, Luca Zanetti. Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols. In Javier Lopez, Xinyi Huang, Ravi Sandhu, editors, Network and System Security - 7th International Conference, NSS 2013, Madrid, Spain, June 3-4, 2013. Proceedings. Volume 7873 of Lecture Notes in Computer Science, pages 728-734, Springer, 2013. [doi]
@inproceedings{ArmandoCZ13, title = {Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols}, author = {Alessandro Armando and Roberto Carbone and Luca Zanetti}, year = {2013}, doi = {10.1007/978-3-642-38631-2_63}, url = {http://dx.doi.org/10.1007/978-3-642-38631-2_63}, researchr = {https://researchr.org/publication/ArmandoCZ13}, cites = {0}, citedby = {0}, pages = {728-734}, booktitle = {Network and System Security - 7th International Conference, NSS 2013, Madrid, Spain, June 3-4, 2013. Proceedings}, editor = {Javier Lopez and Xinyi Huang and Ravi Sandhu}, volume = {7873}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-38630-5}, }