Рой, Є. О.Гріненко, Т. О.2025-07-152025-07-152025Рой Є. О. Автоматизований засіб аналізу протоколів AVISPA / Є. О. Рой, Т. О. Гріненко // Сучасні напрями розвитку інформаційно-комунікаційних технологій та засобів управління : тези доповідей п’ятнадцятої міжнародної науково-технічної конференції, 24–25 квітня 2025 р. - Баку – Харків – Жиліна, 2025. – Т. 3 – С. 70.https://openarchive.nure.ua/handle/document/32076У сучасному світі інформаційна безпека постає як один з ключових викликів, з якими стикаються організації, державні структури та звичайні користувачі. Для гарантування необхідного рівня захисту інформації надзвичайно важливим є аналіз криптографічних та комунікаційних протоколів на предмет слабких місць і потенційних атак. Однією з найефективніших систем автоматизованого аналізу безпеки протоколів є AVISPA (Automated Validation of Internet Security Protocols and Applications).ukAttribution 4.0 InternationalThesishttps://doi.org/10.32620/ICT.25.t3