High-level and formal router policy verification
de LeonDaniel Conte, G BrownMatthew, A JillepalliAnanth, Q StalickAntonius, Alves-FossJim · Journal of computing sciences in colleges · 2017
Network segmentation and encrypted tunnels are very effective means for increasing the security of today's networks. The needed functionality is already present in all enterprise-class network devi...