أرسل هذا في رسالة قصيرة: Formal Verification of a Security Protocol in Vehicular Communication