Автоматизований засіб аналізу протоколів AVISPA - Рой, Є. О.; Гріненко, Т. О. (Національний технічний університет "Харківський політехнічний інститут", 2025)
Keywords: інформаційні технології; програмне забезпечення; інформаційна безпека; криптографія; комунікаційні протоколи; автоматизований аудит