Программное средство логической проверки корректности криптографических протоколов распределения ключей на основе BANлогики
Аннотация
Рассмотрена идея анализа криптографических протоколов распределения ключей методами BAN - логики; привед ё н пример анализа протокола Керберос; построено программное средство, автоматизирующее ан ализ протоколов распределения ключей; исследована корректность его работы.
Список литературы
1. Могилевская, Н. С. Верификация криптографических протоколов распределения ключей с использованием раскрашенных сетей Петри / Н. С. Могилевская, С. С. Колчанов // Вестник Донского гос. техн. ун-та. — 2011. — Т. 11. — № 9. — С. 1535—1543.
2. Черёмушкин, А. В. Криптографические протоколы: основные свойства и уязвимости / А. В. Черёмушкин. — Москва: Ин-т криптографии, 2009. — 272 с.
3. Шнайер, Б. Прикладная криптография. Протоколы, алгоритмы, исходные тексты на языке Си / Б. Шнайер. — Москва: Триумф, 2002. — 816 с.
4. Burrows, M. A logic of authentication / M. Burrows, M. Abadi, R. Needham // ACM Transactions on Computer System. — V. 8. — № 1. — Feb. 1990. — P. 18—36.
5. Могилевская, Н. С. Основы BАN-логики: метод. указания к практическим занятиям по курсу «Криптографические протоколы» [Электрон. ресурс] / Н. С. Могилевская. — Режим доступа: http://de.dstu.edu.ru/CDOCourses/3/3/20125c3d5375-aa2f-41fe-ac35-b71dc060ae20/1001/metho d/index.html (дата обращения: 15.10.2011).
6. Могилевская, Н. С. Сравнение возможностей сетей Петри и BAN-логики в анализе криптографических протоколов проверки подлинности и обмена ключами / Н. С. Могилевская, С. С. Колчанов // Системный анализ, управление и обработка информации. — Ростов-на-Дону: Изд. центр ДГТУ, 2011. — С. 98—101.
7. Aly, S. Protocol verification and analysis using colored Petri nets. Technical report / S. Aly. — Cairo: Cairo University, 2003. — 26 p.
Для цитирования:
Могилевская Н.С. Программное средство логической проверки корректности криптографических протоколов распределения ключей на основе BANлогики. Вестник Донского государственного технического университета . 2012;12(1-2):5-15.
For citation:
Mogilevskaya N.S. SOFTWARE TOOL FOR LOGICAL VALIDATION OF CRYPTOGRAPHIC KEY GENERATION PROTOCOLS BASED ON BAN-LOGIC. Vestnik of Don State Technical University . 2012;12(1-2):5-15. (In Russ.)
Просмотров: 110
Послать статью по эл. почте 