Protocol modelling and verification using AVISPA and Scyther. Done during 1st year of Master's in Information Security @ Faculty of Computer Science within University of Alexandru Ioan Cuza Iasi
computer-science faculty university master protocol protocols information-security protocol-security iasi scyther avispa
-
Updated
Apr 7, 2025 - TeX