Preview

Вестник Донского государственного технического университета

Расширенный поиск

Верификация криптографических протоколов распределения ключей с использованием раскрашенных сетей Петри

Полный текст:

Аннотация

Рассмотрена и оценена возможность применения раскрашенных сетей Петри для анализа криптографических протоколов распределения ключей на примере симметричного протокола Нидхема — Шрёдера.

Об авторах

Надежда Сергеевна Могилевская
Донской государственный технический университет
Россия


Сергей Сергеевич Колчанов
Донской государственный технический университет
Россия


Список литературы

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.)

Просмотров: 32


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1992-5980 (Print)
ISSN 1992-6006 (Online)