Yurkin, D., Utkina, A., Pervushin, A.: Formalized Analysis of Authentication Protocols. Information and Control Systems(2), 76-83 (2018). doi:10.15217/issn1684-8853.2018.2.76