|
Интеллектуальные системы. Теория и приложения, 2022, том 26, выпуск 2, страницы 85–144
(Mi ista408)
|
|
|
|
Часть 3. Математические модели
Математическая модель и методы верификации криптографических протоколов
А. М. Миронов мех.-мат. ф-т МГУ
Аннотация:
В настоящей работе излагается новая математическая модель криптографических протоколов, и приводятся примеры применения этой модели для решения задач верификации криптографических протоколов. Криптографические протоколы - это распределенные алгоритмы, предназначенные для обеспечения передачи конфиденциальной информации в небезопасной среде. Они используются, например, в электронных платежах, электронных процедурах голосования, системах доступа к конфиденциальным данным, и т.д. Ошибки в криптографических протоколах могут привести к большому ущербу, поэтому необходимо использовать математические методы для обоснования различных свойств корректности и безопасности криптографических протоколов. В работе излагаются новые методы формальной верификации криптографических протоколов.
Ключевые слова:
криптографические протоколы, последовательные процессы, распределенные процессы, верификация.
Образец цитирования:
А. М. Миронов, “Математическая модель и методы верификации криптографических протоколов”, Интеллектуальные системы. Теория и приложения, 26:2 (2022), 85–144
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ista408 https://www.mathnet.ru/rus/ista/v26/i2/p85
|
Статистика просмотров: |
Страница аннотации: | 39 | PDF полного текста: | 19 | Список литературы: | 11 |
|