Верификация криптографических протоколов распределения ключей с использованием раскрашенных сетей Петри
Аннотация
Об авторах
Надежда Сергеевна МогилевскаяРоссия
Сергей Сергеевич Колчанов
Россия
Список литературы
1. Основы криптографии / А. П. Алфёров [и др.]. — Москва: Гелиос АРВ, 2005. — 480 с.
2. Denning, D. E. Time stamps in Key Distribution Protocols / D. E. Denning, M. Smid // Com-munications of the ACM. — 1981. — V. 24. — P. 533—536.
3. Котенко, И. В. Верификация протоколов безопасности на основе комбинированного использования существующих методов и средств / И. В. Котенко, С. А. Резник, А. В. Шоров // Труды СПИИРАН. — 2009. — Вып. 8. — С. 292—310.
4. Могилевская, Н. С. Сравнение возможностей сетей Петри и BAN-логики в анализе криптографических протоколов проверки подлинности и обмена ключами / Н. С. Могилевская, С. С. Колчанов // Системный анализ, управление и обработка информации. — Ростов-на-Дону: Изд. центр ДГТУ, 2011. С. 98—101.
5. Смарт, Н. Криптография / Н. Смарт. — Москва: Техносфера, 2006. — 528 с.
6. Lin, H. Algorithms for Cryptographic Protocol Verification in Presence of Algebraic Properties: diss. for the degree of Doctor of Philosophy (Mathematics). — Clarkson University, 2009.
7. Nieh, B. Modeling and analyzing cryptographic protocols using Petri nets / B. Nieh, S. Tavares // Auscrypt'92, 1992.
8. Salah, A. Protocol verification and analysis using colored Petri nets / A. Salah, M. Khaled. — Cairo University, 2003. — P. 3—7.
9. Котов, В. Е. Сети Петри / В. Е. Котов. — Москва: Наука, 1984. — 160 с.
10. CPN Tools Homepage. Documentation. Electronic resource. Access mode: http://cpntools.org/documentation/start/ (date of access: 11.04.2011).
Рецензия
Для цитирования:
Могилевская Н.С., Колчанов С.С. Верификация криптографических протоколов распределения ключей с использованием раскрашенных сетей Петри. Вестник Донского государственного технического университета. 2011;11(9):1535-1543.
For citation:
Mogilevskaya N.S., Kolchanov S.S. VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS. Vestnik of Don State Technical University. 2011;11(9):1535-1543. (In Russ.)