Geodesic
Methodology for assessing the security of cryptographic protocols
Prikladnaâ diskretnaâ matematika, no. 2 (2022), pp. 33-82

Voir la notice de l'article provenant de la source Math-Net.Ru

This paper proposes a method for evaluating the security of cryptographic protocols used to protect information in telecommunication networks, as well as in networks of the “Internet of Things”. The procedure for evaluation of information system security is described, including the construction of the list of threats, the threat model, and detailing of the model and the abilities of the intruder. The concept of security property is considered, the extended list of the specified properties, their classification and formal mathematical model are given. As part of the model, for given properties of security, we propose a method for obtaining numerical values of performance parameters depending on the probability of success and algorithmic complexity of the solution of a number of known mathematical problems. In conclusion, the results of the application of the proposed method to the analysis of ESP and IKEv2 protocols of IPSec family standardized in the Russian Federation are presented.
Keywords: security property, cryptographic protocol, information security performance indicator. 
@article{PDM_2022_2_a3,
     author = {A. Yu. Nesterenko and A. M. Semenov},
     title = {Methodology for assessing the security of cryptographic protocols},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {33--82},
     publisher = {mathdoc},
     number = {2},
     year = {2022},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2022_2_a3/}
}
TY  - JOUR
AU  - A. Yu. Nesterenko
AU  - A. M. Semenov
TI  - Methodology for assessing the security of cryptographic protocols
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2022
SP  - 33
EP  - 82
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2022_2_a3/
LA  - ru
ID  - PDM_2022_2_a3
ER  - 
%0 Journal Article
%A A. Yu. Nesterenko
%A A. M. Semenov
%T Methodology for assessing the security of cryptographic protocols
%J Prikladnaâ diskretnaâ matematika
%D 2022
%P 33-82
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2022_2_a3/
%G ru
%F PDM_2022_2_a3
A. Yu. Nesterenko; A. M. Semenov. Methodology for assessing the security of cryptographic protocols. Prikladnaâ diskretnaâ matematika, no. 2 (2022), pp. 33-82. http://geodesic.mathdoc.fr/item/PDM_2022_2_a3/