Formal Verification of the paper "On the Design of Blockchain-Based Access Control Scheme for Software Defined Networks" using AVISPA Tools
-
Updated
May 15, 2021
#
avispa
Here are 5 public repositories matching this topic...
Simulation of blockchain based authentication protocol in AVISPA tool.
-
Updated
Jan 14, 2022 - Jupyter Notebook
Implementation of 'Designing secure blockchain-based access control scheme in IoT-enabled Internet of Drones deployment' protocol
-
Updated
May 16, 2021
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
Add this topic to your repo
To associate your repository with the avispa topic, visit your repo's landing page and select "manage topics."