https://github.com/akshayxml/security-verification-using-avispa
Implementation of 'Designing secure blockchain-based access control scheme in IoT-enabled Internet of Drones deployment' protocol
https://github.com/akshayxml/security-verification-using-avispa
avispa security-vulnerability-assessment span
Last synced: 13 days ago
JSON representation
Implementation of 'Designing secure blockchain-based access control scheme in IoT-enabled Internet of Drones deployment' protocol
- Host: GitHub
- URL: https://github.com/akshayxml/security-verification-using-avispa
- Owner: akshayxml
- Created: 2021-03-12T10:16:25.000Z (almost 5 years ago)
- Default Branch: main
- Last Pushed: 2021-05-16T08:38:06.000Z (almost 5 years ago)
- Last Synced: 2025-01-25T04:09:47.271Z (about 1 year ago)
- Topics: avispa, security-vulnerability-assessment, span
- Homepage:
- Size: 19.5 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: readme.md
Awesome Lists containing this project
README
# Security Verification using Avispa
- Implementation of 'Designing secure blockchain-based access control scheme in IoT-enabled Internet of Drones deployment' protocol - both Drone to GSS and Drone to Drone parts.
- The protocol has been simulated using the OFMC and CL-AtSe backends and it has returned 'SAFE'.
- There are three agents - Control Room, Drone 1, and Drone 2.
- Control Room registers the drones and then Drone 1 and Drone 2 communicate with each other to get the shared secret key.