Text this: Design, implementation and formal verification of BGP proxy for mimic router