Simulation of blockchain based authentication protocol in AVISPA tool.
-
Updated
Jan 14, 2022 - Jupyter Notebook
#
avispa
Here are 4 public repositories matching this topic...
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
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
Implementation of 'Designing secure blockchain-based access control scheme in IoT-enabled Internet of Drones deployment' protocol
-
Updated
May 16, 2021
Improve this page
Add a description, image, and links to the avispa topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the avispa topic, visit your repo's landing page and select "manage topics."