أرسل هذا في رسالة قصيرة: Proving security protocols with model checkers by data independence techniques