- 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.
-
Notifications
You must be signed in to change notification settings - Fork 0
akshayxml/Security-Verification-Using-Avispa
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Implementation of 'Designing secure blockchain-based access control scheme in IoT-enabled Internet of Drones deployment' protocol
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published