أرسل هذا في رسالة قصيرة: Design, implementation and formal verification of BGP proxy for mimic router