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