Advanced search

Found 1 essay matching the above criteria.

1. 1. Formal security verification of the Drone Remote Identification Protocol using Tamarin

   University essay from Linköpings universitet/Institutionen för datavetenskap

   Author : Jakob Ahokas; Jonathan Persson; [2022]
   Keywords : Cybersecurity; Formal verification; Unmanned aircraft; Cryptography;

   Abstract : The current standard for remote identification of unmanned aircraft does not contain anyform of security considerations, opening up possibilities for impersonation attacks. Thenewly proposed Drone Remote Identification Protocol aims to change this. READ MORE