Teacher: Mihaela Sighireanu (LMF, ENS Paris-Saclay) and Antony Juton (ENS Paris-Saclay).

This module presents the main concepts used in computer networks like addressing, data exchange, routing, and transport protocols. The presentation employs a formal approach by presenting these concepts using formal models like message sequence charts, process algebra, communicating automata. The module also introduces the socket programming and proposes as projet the programming of a distributed application.

Planned contents:

• Principles of data networks (addressing, architecture, data encapsulation)
• ISO/OSI reference model and reliable data transfer
• Application protocols (HTTP, SMTP, FTP, DNS)
• Transport protocols and socket programming
• Routing algorithms and protocols

The lectures will take place on room 1Z71 at ENS Paris-Saclay. The labs will take place in rooms 1U55 and 1U54.

The material of the course is available on the eCampus space for this course.

The class will be taught in English if at least one non-French-speaking student requires it.