Жигаревич, О.; Охочий, М.; Шукалович , І. РОЗРОБКА ТА ДОСЛІДЖЕННЯ СИСТЕМИ ДЛЯ АНАЛІЗУ КРИПТОГРАФІЧНИХ ПРОТОКОЛІВ. ПКНПМБЦС 2024, 30.