Для цитирования:

Нейзов М.В., Кузьмин Е.В. Применение TLA+/TLC для моделирования и верификации криптографических протоколов. Моделирование и анализ информационных систем. 2024;31(4):446-473. https://doi.org/10.18255/1818-1015-2024-4-446-473

For citation:

Neyzov M.V., Kuzmin E.V. Using TLA+/TLC for modeling and verification of cryptographic protocols. Modeling and Analysis of Information Systems. 2024;31(4):446-473. (In Russ.) https://doi.org/10.18255/1818-1015-2024-4-446-473