Розширення моделі типізованої специфікації для формального аналізу криптографічних протоколів

Кравченко, П. О.

Публікація:
Розширення моделі типізованої специфікації для формального аналізу криптографічних протоколів

dc.contributor.author	Кравченко, П. О.
dc.date.accessioned	2017-12-28T14:26:33Z
dc.date.available	2017-12-28T14:26:33Z
dc.date.issued	2011
dc.description.abstract	У статті розглянуті основи формального аналізу протоколів, властивості безпеки протоколів та модель типізованої специфікації для формального аналізу. Оскільки складність криптографічних систем росте та протоколи вже не можна розглядати уособлено, без урахування контексту, у якому вони виконуються, ми розширюємо модель типізованої спеціфікації таким чином, що стає можливим проводити аналіз суттєво інших протоколів. Як приклад, буде розглянуто, як за допомогою розширеної моделі вдається знайти атаки на протокол Нідхема-Шредера з симетричним ключем.	uk_UA
dc.identifier.citation	Кравченко П. О. Розширення моделі типізованої специфікації для формального аналізу криптографічних протоколів / П. О. Кравченко // Прикладная радиоэлектроника : науч.-техн. журн. – Х. : ХНУРЭ, 2011. – Т. 10, № 2 – С. 192–197.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/4190
dc.language.iso	uk	uk_UA
dc.publisher	ХНУРЭ	uk_UA
dc.subject	формальний аналіз	uk_UA
dc.subject	модель загроз	uk_UA
dc.subject	властивості безпеки	uk_UA
dc.subject	типізована специфікація	uk_UA
dc.title	Розширення моделі типізованої специфікації для формального аналізу криптографічних протоколів	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication