Update arid.pv

pietrotedeschi · Aug 29, 2021 · 3672aa2 · 3672aa2
1 parent 17f316e
commit 3672aa2
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/proverif/arid.pv b/proverif/arid.pv
@@ -1,5 +1,7 @@
 (*
-Anonymous Authors
+Pietro Tedeschi
+Anonymous Remote IDentification of Unmanned Aerial Vehicles (ARID)
+Hamad Bin Khalifa University
 *)
 
 (*--Dolev-Yao model Open Channels--*)
@@ -141,4 +143,4 @@ Query not attacker(IDA[]) is true.
 
 Non-interference IDA is true.
 
--------------------------------------------------------------*)
+-------------------------------------------------------------*)