Preview

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

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

Программное средство логической проверки корректности криптографических протоколов распределения ключей на основе 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.)

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


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


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