أرسل هذا في رسالة قصيرة: Data independent verification of crypto−protocols