Автоматизований засіб аналізу протоколів AVISPA

Рой, Є. О.; Гріненко, Т. О.

Публікація:
Автоматизований засіб аналізу протоколів AVISPA

dc.contributor.author	Рой, Є. О.
dc.contributor.author	Гріненко, Т. О.
dc.date.accessioned	2025-07-15T14:36:57Z
dc.date.available	2025-07-15T14:36:57Z
dc.date.issued	2025
dc.description.abstract	У сучасному світі інформаційна безпека постає як один з ключових викликів, з якими стикаються організації, державні структури та звичайні користувачі. Для гарантування необхідного рівня захисту інформації надзвичайно важливим є аналіз криптографічних та комунікаційних протоколів на предмет слабких місць і потенційних атак. Однією з найефективніших систем автоматизованого аналізу безпеки протоколів є AVISPA (Automated Validation of Internet Security Protocols and Applications).
dc.identifier.citation	Рой Є. О. Автоматизований засіб аналізу протоколів AVISPA / Є. О. Рой, Т. О. Гріненко // Сучасні напрями розвитку інформаційно-комунікаційних технологій та засобів управління : тези доповідей п’ятнадцятої міжнародної науково-технічної конференції, 24–25 квітня 2025 р. - Баку – Харків – Жиліна, 2025. – Т. 3 – С. 70.
dc.identifier.doi	https://doi.org/10.32620/ICT.25.t3
dc.identifier.uri	https://openarchive.nure.ua/handle/document/32076
dc.language.iso	uk
dc.publisher	ХНУРЕ
dc.rights	Attribution 4.0 International	en
dc.rights.uri	http://creativecommons.org/licenses/by/4.0/
dc.title	Автоматизований засіб аналізу протоколів AVISPA
dc.type	Thesis
dspace.entity.type	Publication