Кравченко, П. О.2017-12-282017-12-282011Кравченко П. О. Розширення моделі типізованої специфікації для формального аналізу криптографічних протоколів / П. О. Кравченко // Прикладная радиоэлектроника : науч.-техн. журн. – Х. : ХНУРЭ, 2011. – Т. 10, № 2 – С. 192–197.http://openarchive.nure.ua/handle/document/4190У статті розглянуті основи формального аналізу протоколів, властивості безпеки протоколів та модель типізованої специфікації для формального аналізу. Оскільки складність криптографічних систем росте та протоколи вже не можна розглядати уособлено, без урахування контексту, у якому вони виконуються, ми розширюємо модель типізованої спеціфікації таким чином, що стає можливим проводити аналіз суттєво інших протоколів. Як приклад, буде розглянуто, як за допомогою розширеної моделі вдається знайти атаки на протокол Нідхема-Шредера з симетричним ключем.ukпротоколформальний аналізмодель загрозвластивості безпекитипізована специфікаціяArticle