Techniques for the specification, design, analysis, verification and testing of communication protocols are discussed. The course includes detailed discussion on routing protocols in the Internet. This includes Routing Information Protocol (RIP), Enchanced Interior Gateway Routing Protocol (EIGRP). Open Shortest Path First (OSPF), and Border Gateway Protocol (BGP4).