Программное средство логической проверки корректности криптографических протоколов распределения ключей на основе BAN-логики
Автор: Могилевская Надежда Сергеевна
Журнал: Вестник Донского государственного технического университета @vestnik-donstu
Рубрика: Физико-математические науки
Статья в выпуске: 1-2 (62) т.12, 2012 года.
Бесплатный доступ
Рассмотрена идея анализа криптографических протоколов распределения ключей методами BAN-логики; приведён пример анализа протокола Керберос; построено программное средство, автоматизирующее анализ протоколов распределения ключей; исследована корректность его работы.
Формальный анализ протоколов, криптографические протоколы, протоколы распределения ключей, средства автоматизированного анализа протоколов, протокол керберос
Короткий адрес: https://sciup.org/14249774
IDR: 14249774
Список литературы Программное средство логической проверки корректности криптографических протоколов распределения ключей на основе BAN-логики
- Могилевская, Н. С. Верификация криптографических протоколов распределения ключей с использованием раскрашенных сетей Петри/Н. С. Могилевская, С. С. Колчанов//Вестник Донского гос. техн. ун-та. -2011. -Т. 11. -№ 9. -С. 1535-1543.
- Черёмушкин, А. В. Криптографические протоколы: основные свойства и уязвимости/А. В. Черёмушкин. -Москва: Ин-т криптографии, 2009. -272 с.
- Шнайер, Б. Прикладная криптография. Протоколы, алгоритмы, исходные тексты на языке Си/Б. Шнайер. -Москва: Триумф, 2002. -816 с.
- 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.
- Могилевская, Н. С. Основы BАN-логики: метод. указания к практическим занятиям по курсу «Криптографические протоколы» [Электрон. ресурс]/Н. С. Могилевская. -Режим доступа: http://de.dstu.edu.ru/CDOCourses/3/3/20125c3d5375-aa2f-41fe-ac35-b71dc060ae20/1001/metho d/index.html (дата обращения: 15.10.2011).
- Могилевская, Н. С. Сравнение возможностей сетей Петри и BAN-логики в анализе криптографических протоколов проверки подлинности и обмена ключами/Н. С. Могилевская, С. С. Колчанов//Системный анализ, управление и обработка информации. -Ростов-на-Дону: Изд. центр ДГТУ, 2011. -С. 98-101.
- Aly, S. Protocol verification and analysis using colored Petri nets. Technical report/S. Aly. -Cairo: Cairo University, 2003. -26 p.
Статья научная
