Розширення моделі типізованої специфікації для формального аналізу криптографічних протоколів
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Розширення моделі типізованої специфікації для формального аналізу криптографічних протоколів
|
|
| Creator |
Кравченко, П. О.
|
|
| Subject |
протокол
формальний аналіз модель загроз властивості безпеки типізована специфікація |
|
| Description |
У статті розглянуті основи формального аналізу протоколів, властивості безпеки протоколів та модель типізованої специфікації для формального аналізу. Оскільки складність криптографічних систем росте та протоколи вже не можна розглядати уособлено, без урахування контексту, у якому вони виконуються, ми розширюємо модель типізованої спеціфікації таким чином, що стає можливим проводити аналіз суттєво інших протоколів. Як приклад, буде розглянуто, як за допомогою розширеної моделі вдається знайти атаки на протокол Нідхема-Шредера з симетричним ключем.
|
|
| Date |
2017-12-28T14:26:33Z
2017-12-28T14:26:33Z 2011 |
|
| Type |
Article
|
|
| Identifier |
Кравченко П. О. Розширення моделі типізованої специфікації для формального аналізу криптографічних протоколів / П. О. Кравченко // Прикладная радиоэлектроника : науч.-техн. журн. – Х. : ХНУРЭ, 2011. – Т. 10, № 2 – С. 192–197.
http://openarchive.nure.ua/handle/document/4190 |
|
| Language |
uk
|
|
| Publisher |
ХНУРЭ
|
|