Outline
		Part I: The glue that holds the Internet            together : interdomain routing with            The Border Gateway Protocol (BGP)
	Part II: A formal model of BGP routing             policies             Joint work with Gordon Wilfong             and F. Bruce Shepherd, Bell Labs