РОЗРОБКА ТА ДОСЛІДЖЕННЯ СИСТЕМИ ДЛЯ АНАЛІЗУ КРИПТОГРАФІЧНИХ ПРОТОКОЛІВ

Автор(и)

  • Оксана Жигаревич Волинський національний університет імені Лесі Українки
  • Максим Охочий Волинський національний університет імені Лесі Українки
  • Іванна Шукалович Волинський національний університет імені Лесі Українки

Ключові слова:

криптопротокол, криптоаналіз, кібербезпека, криптографія

Анотація

У цій роботі розроблено програмний засіб для генерування та аналізу криптографічних протоколів.

Посилання (Бібліографія)

Decision and Complexity of Dolev-Yao Hyperproperties (Technical Report). Accueil - Archive ouverte HAL. URL: https://hal.science/hal-04261390/

A High-level Overview of Modern Cryptography. Cyphertalk. URL: https://muens.io/modern-cryptography-overview

##submission.downloads##

Опубліковано

09.06.2024

Номер

2024: І Міжнародна науково-практична конференція «Проблеми комп’ютерних наук, програмного моделювання та безпеки цифрових систем»

Розділ

Безпека цифрових систем. Кібербезпека.