Верификация криптографических протоколов распределения ключей с использованием раскрашенных сетей Петри
Автор: Могилевская Надежда Сергеевна, Колчанов Сергей Сергеевич
Журнал: Вестник Донского государственного технического университета @vestnik-donstu
Рубрика: Физико-математические науки
Статья в выпуске: 9 (60) т.11, 2011 года.
Бесплатный доступ
Рассмотрена и оценена возможность применения раскрашенных сетей Петри для анализа криптографических протоколов распределения ключей на примере симметричного протокола Нидхема - Шрёдера.
Верификация протокола, формальный анализ, распределение ключей, протокол нидхема - шрёдера, раскрашенные сети петри
Короткий адрес: https://sciup.org/14249709
IDR: 14249709
Список литературы Верификация криптографических протоколов распределения ключей с использованием раскрашенных сетей Петри
- Основы криптографии/А. П. Алфёров [и др.]. -Москва: Гелиос АРВ, 2005. -480 с.
- Denning, D. E. Time stamps in Key Distribution Protocols/D. E. Denning, M. Smid//Communications of the ACM. -1981. -V. 24. -P. 533-536.
- Котенко, И. В. Верификация протоколов безопасности на основе комбинированного использования существующих методов и средств/И. В. Котенко, С. А. Резник, А. В. Шоров//Труды СПИИРАН. -2009. -Вып. 8. -С. 292-310.
- Могилевская, Н. С. Сравнение возможностей сетей Петри и BAN-логики в анализе криптографических протоколов проверки подлинности и обмена ключами/Н. С. Могилевская, С. С. Колчанов//Системный анализ, управление и обработка информации. -Ростов-на-Дону: Изд. центр ДГТУ, 2011. С. 98-101.
- Смарт, Н. Криптография/Н. Смарт. -Москва: Техносфера, 2006. -528 с.
- Lin, H. Algorithms for Cryptographic Protocol Verification in Presence of Algebraic Properties: diss. for the degree of Doctor of Philosophy (Mathematics). -Clarkson University, 2009.
- Nieh, B. Modeling and analyzing cryptographic protocols using Petri nets/B. Nieh, S. Tavares//Auscrypt'92, 1992.
- Salah, A. Protocol verification and analysis using colored Petri nets/A. Salah, M. Khaled. -Cairo University, 2003. -P. 3-7.
- Котов, В. Е. Сети Петри/В. Е. Котов. -Москва: Наука, 1984. -160 с.
- CPN Tools Homepage. Documentation. Electronic resource. Access mode: http://cpntools.org/documentation/start/(date of access: 11.04.2011).
Статья научная
