Approaches to the security analysis of authentication and authorization protocols in distributed systems
И. С. Константинов, S. A. Lazarev, Vladimir E. Kiselev, Alexander V. Demidov · Open Access Repository (Belgorod State National Research University) · 2019
In this article, a review of the most used approaches for the formal analysis of distributed systems cryptographic protocols and software tools implemented on the basis of these approaches has been done. The article examines such approaches as model checking, theorem proving, and believe logic, provides a list of well-known tools for automating the analysis of cryptographic protocols within each approach