Публікація: Розширення моделі типізованої специфікації для формального аналізу криптографічних протоколів
Завантаження...
Дата
2011
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЭ
Анотація
У статті розглянуті основи формального аналізу протоколів, властивості безпеки протоколів та модель типізованої специфікації для формального аналізу. Оскільки складність криптографічних систем росте та протоколи вже не можна розглядати уособлено, без урахування контексту, у якому вони виконуються, ми розширюємо модель типізованої спеціфікації таким чином, що стає можливим проводити аналіз суттєво інших протоколів. Як приклад, буде розглянуто, як за допомогою розширеної моделі вдається знайти атаки на протокол Нідхема-Шредера з симетричним ключем.
Опис
Ключові слова
протокол, формальний аналіз, модель загроз, властивості безпеки, типізована специфікація
Бібліографічний опис
Кравченко П. О. Розширення моделі типізованої специфікації для формального аналізу криптографічних протоколів / П. О. Кравченко // Прикладная радиоэлектроника : науч.-техн. журн. – Х. : ХНУРЭ, 2011. – Т. 10, № 2 – С. 192–197.