/Security-Verification-Using-Avispa-blockchain-based-access-control-scheme-in-IoT-enabled-drones

Implementation of 'Designing secure blockchain-based access control scheme in IoT-enabled Internet of Drones deployment' protocol

  • Implementation of 'Designing secure blockchain-based access control scheme in IoT-enabled Internet of Drones deployment' protocol - Drone to Drone part.

  • 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.

  • Group 1:

    • Akshay M : 2020201023
    • Agrima Singh : 2020201093
    • Chirag Silwant : 2020201061
    • Ashutosh Ranjan : 2020201077