http://dspace.bsuedu.ru/handle/123456789/31187
Title: | Approaches to the security analysis of authentication and authorization protocols in distributed systems |
Authors: | Konstantinov, I. S. Lazarev, S. A. Kiselev, V. E. Demidov, A. V. |
Keywords: | technique computer engineering authentication authorization distributed systems model checking protocol security |
Issue Date: | 2019 |
Citation: | Approaches to the security analysis of authentication and authorization protocols in distributed systems / I.S. Konstantinov, S.A. Lazarev, V.E. Kiselev [et al.] // International Journal of Innovative Technology and Exploring Engineering. - 2019. - Vol.8, №6, spec. is.3.-P. 610-613. |
Abstract: | 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 |
URI: | http://dspace.bsu.edu.ru/handle/123456789/31187 |
Appears in Collections: | Статьи из периодических изданий и сборников (на иностранных языках) = Articles from periodicals and collections (in foreign languages) |
File | Description | Size | Format | |
---|---|---|---|---|
Konstantinov_Approaches.pdf | 276.66 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.