#
scyther
Here are 3 public repositories matching this topic...
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
May 28, 2021 - TeX
Improve this page
Add a description, image, and links to the scyther topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the scyther topic, visit your repo's landing page and select "manage topics."