Content
The lecture explains advanced principles of computer networks based on fundamentals of the topic. The topics are protocol mechanisms, principles of implementation, network algorithms, advanced network architectures, network simulation, network measurement as well as techniques of protocol specification and verification.
• Protocols: mechanisms and principles of design Discussion of mechanisms and techniques of protocols used in network protocols. We will discuss why they are used for which purpose.
• signaling
• separation of control and data channel
• soft state and hard state
• using of randomization
• indirection
• multiplexing of resources
• localization of services
• network virtualization: overlays, VxLANs, peer-to-peer networks
• Protocols: implementation principles Identification and study of principles, that lead to the implementation of network protocols
• system principles
• reflections on efficiency
• caveats/ case studies
• Network architecture: “the big picture” Identification and study of principles that lead the design of network architectures. We consider substantial questions rather than specific protocol and implementation tricks.
• Internet design principles
• lessons learned from the Internet
• architecture of telephone network
• Circuit switching versus packet switching (revisited)
• Protocols: network algorithms
• self stabilization (examples of routing)
• Kelly's congestion control framework
• closed loop control on the example of TCP
• Simulation, oblivious routing and routing in cryptocurrency networks
• principles of discrete event simulation
• analysis of simulation results
• packet versus flow models
• bounding strategies (e.g., Chernoff bounds)
• Gaussian distributions
