Andreas Voellmy. Proof of an interdomain policy: a load-balancing multi-homed network. In Ehab Al-Shaer, Mohamed G. Gouda, Jorge Lobo, Sanjai Narain, Felix Wu, editors, Proceedings of the 2nd ACM Workshop on Assurable and Usable Security Configuration, SafeConfig 2009, Chicago, IL, USA, November 9, 2009. pages 37-44, ACM, 2009. [doi]
Abstract is missing.