Публікація: Автоматизований засіб аналізу протоколів AVISPA
Завантаження...
Дата
2025
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЕ
Анотація
У сучасному світі інформаційна безпека постає як один з ключових викликів, з якими стикаються організації, державні структури та звичайні користувачі. Для гарантування необхідного рівня захисту інформації надзвичайно важливим є аналіз криптографічних та комунікаційних протоколів на предмет слабких місць і потенційних атак. Однією з
найефективніших систем автоматизованого аналізу безпеки протоколів є AVISPA (Automated Validation of Internet Security Protocols and Applications).
Опис
Ключові слова
Бібліографічний опис
Рой Є. О. Автоматизований засіб аналізу протоколів AVISPA / Є. О. Рой, Т. О. Гріненко // Сучасні напрями розвитку інформаційно-комунікаційних технологій та засобів управління : тези доповідей п’ятнадцятої міжнародної науково-технічної конференції, 24–25 квітня 2025 р. - Баку – Харків – Жиліна, 2025. – Т. 3 – С. 70.