Diagnosing configuration errors in virtual private networks. - Sanjai Narain; M. Rangadurai; Abdul-Rahim Shareef (ICC, 2001)